[MediaWiki-commits] [Gerrit] PoolCounterClient.php -> extension.json - change (operations/mediawiki-config)

2016-07-13 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: PoolCounterClient.php -> extension.json .. PoolCounterClient.php -> extension.json Bug: T139800 Bug: T139801 Change-Id:

[MediaWiki-commits] [Gerrit] PoolCounterClient.php -> extension.json - change (operations/mediawiki-config)

2016-07-08 Thread Reedy (Code Review)
Reedy has uploaded a new change for review. https://gerrit.wikimedia.org/r/298096 Change subject: PoolCounterClient.php -> extension.json .. PoolCounterClient.php -> extension.json Change-Id: