Daniel Kinzler has uploaded a new change for review. Change subject: Removed a bunch of unused settings. ......................................................................
Removed a bunch of unused settings. Change-Id: I4d192cb13adf8169bec7e4f32d2507753e3301c0 --- M lib/includes/Settings.php 1 file changed, 0 insertions(+), 289 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikibase refs/changes/04/23304/1 -- To view, visit https://gerrit.wikimedia.org/r/23304 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I4d192cb13adf8169bec7e4f32d2507753e3301c0 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Daniel Kinzler <daniel.kinz...@wikimedia.de> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits