Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/60663
Change subject: Deprecate Settings class ...................................................................... Deprecate Settings class Change-Id: Id9313aaa58ce8d286c1904d70d8d15e6c5095b76 --- M lib/includes/Settings.php 1 file changed, 3 insertions(+), 8 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikibase refs/changes/63/60663/1 diff --git a/lib/includes/Settings.php b/lib/includes/Settings.php index b5b85f3..35de02a 100644 --- a/lib/includes/Settings.php +++ b/lib/includes/Settings.php @@ -1,17 +1,12 @@ <?php namespace Wikibase; -use MWException; /** - * File defining the settings for the Wikibase extension. - * More info can be found at https://www.mediawiki.org/wiki/Extension:Wikibase#Settings + * @deprecated * - * NOTICE: - * Changing one of these settings can be done by assigning to $wgWBSettings, - * AFTER the inclusion of the extension itself. - * - * // TODO: have dedicated settings interfaces per extension + * Each component should manage its own settings, + * and such settings should be defined in their own configuration. * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by -- To view, visit https://gerrit.wikimedia.org/r/60663 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Id9313aaa58ce8d286c1904d70d8d15e6c5095b76 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits