Remove unused variable in ProfilerMwprof
[mediawiki.git] / includes / config / 
tree19097e43c5c9a27fd5c659cdfa957b9fdd073b5d
drwxr-xr-x   ..
-rw-r--r-- 1330 Config.php
-rw-r--r-- 911 ConfigException.php
-rw-r--r-- 3251 ConfigFactory.php
-rw-r--r-- 2774 GlobalVarConfig.php
-rw-r--r-- 1742 HashConfig.php
-rw-r--r-- 1696 MultiConfig.php
-rw-r--r-- 1159 MutableConfig.php