SessionManager: Ignore Session object destruction during global shutdown
[mediawiki.git] / includes / config / 
tree3a9a94e63424af68ce7b6a3478f53fbd8e543d27
drwxr-xr-x   ..
-rw-r--r-- 1330 Config.php
-rw-r--r-- 909 ConfigException.php
-rw-r--r-- 2826 ConfigFactory.php
-rw-r--r-- 2219 GlobalVarConfig.php
-rw-r--r-- 1737 HashConfig.php
-rw-r--r-- 1696 MultiConfig.php
-rw-r--r-- 1159 MutableConfig.php