[MediaWiki-commits] [Gerrit] Minor fix - change (operations/mediawiki-config)
jenkins-bot has submitted this change and it was merged. Change subject: Minor fix .. Minor fix Change-Id: I77a75562239fd5fb8e74c7336a73c64fbe390505 --- M wmf-config/CommonSettings.php 1 file changed, 1 insertion(+), 1 deletion
[MediaWiki-commits] [Gerrit] Minor fix - change (operations/mediawiki-config)
MZMcBride has uploaded a new change for review. https://gerrit.wikimedia.org/r/160890 Change subject: Minor fix .. Minor fix Change-Id: I77a75562239fd5fb8e74c7336a73c64fbe390505 --- M wmf-config/CommonSettings.php 1 file chan