Add more $wgPoolCounterConf comments
authorAaron Schulz <aschulz@wikimedia.org>
Thu, 19 Jan 2017 00:27:17 +0000 (16:27 -0800)
committerAaron Schulz <aschulz@wikimedia.org>
Thu, 19 Jan 2017 00:27:17 +0000 (16:27 -0800)
commit3b2adbcda30b25be42017c95620b6fa8292fef0b
treeb4161b92c110d9420f78113264a522fafe087759
parent06b24dbfca8891962d135cb2907d1eac000c8f85
Add more $wgPoolCounterConf comments

Change-Id: Ic7b376dcada2b58a2f2ddc13b79e392e9d4fae6f
includes/DefaultSettings.php