Merge "Add more $wgPoolCounterConf comments"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 19 Jan 2017 03:54:49 +0000 (03:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 19 Jan 2017 03:54:49 +0000 (03:54 +0000)
commit6a2156c27378e431f1c05be49cc3ddb9667f8f90
treef9b28348538b85e5d6002808815902ea76e0ba42
parent58c7e51ec8335ce4b7516a5753be9762ab408d32
parent3b2adbcda30b25be42017c95620b6fa8292fef0b
Merge "Add more $wgPoolCounterConf comments"