EditPage: Style anonymous editor warning as a warningbox for consistency
[mediawiki.git] / includes / config / 
tree89ee4d685f7f9e58561da3a7cdee34c3ee0295b4
drwxr-xr-x   ..
-rw-r--r-- 1330 Config.php
-rw-r--r-- 909 ConfigException.php
-rw-r--r-- 3277 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