[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Fix whitespace issue

2016-11-14 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Fix whitespace issue .. Fix whitespace issue Change-Id: I6547ae74925c8291d9650bb59c88599808d3fea8 --- M wmf-config/Wikibase-production.php 1 file

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Fix whitespace issue

2016-11-13 Thread Dereckson (Code Review)
Dereckson has uploaded a new change for review. https://gerrit.wikimedia.org/r/321350 Change subject: Fix whitespace issue .. Fix whitespace issue Change-Id: I6547ae74925c8291d9650bb59c88599808d3fea8 --- M