Fixed some incorrect Profiler comments
[mediawiki.git] / includes / config / 
tree08756d2e85dc94a21a0679af91cdfaf787296e4b
drwxr-xr-x   ..
-rw-r--r-- 1330 Config.php
-rw-r--r-- 911 ConfigException.php
-rw-r--r-- 3251 ConfigFactory.php
-rw-r--r-- 2219 GlobalVarConfig.php
-rw-r--r-- 1742 HashConfig.php
-rw-r--r-- 1696 MultiConfig.php
-rw-r--r-- 1159 MutableConfig.php