[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Remove obsolete config values

2016-10-26 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove obsolete config values .. Remove obsolete config values Change-Id: I4b8c324b4a6b8e1848bcced87503bc0076f9f1e9 --- M wmf-config/CommonSettings.php 1

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Remove obsolete config values

2016-10-26 Thread Yurik (Code Review)
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/318047 Change subject: Remove obsolete config values .. Remove obsolete config values Change-Id: I4b8c324b4a6b8e1848bcced87503bc0076f9f1e9 --- M