?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 06b24db) | patch
Add more $wgPoolCounterConf comments
commit3b2adbcda30b25be42017c95620b6fa8292fef0b
authorAaron Schulz <aschulz@wikimedia.org>
Thu, 19 Jan 2017 00:27:17 +0000 (18 16:27 -0800)
committerAaron Schulz <aschulz@wikimedia.org>
Thu, 19 Jan 2017 00:27:17 +0000 (18 16:27 -0800)
treeb4161b92c110d9420f78113264a522fafe087759tree | snapshot (tar.gz zip)
parent06b24dbfca8891962d135cb2907d1eac000c8f85commit | diff
Add more $wgPoolCounterConf comments

Change-Id: Ic7b376dcada2b58a2f2ddc13b79e392e9d4fae6f
includes/DefaultSettings.php diff | blob | blame | history
MediaWiki Core