Public Git Hosting - mediawiki.git/tree - includes/config/

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
history | HEAD | snapshot (tar.gz zip)

[mediawiki.git] / includes / config /

tree	652aee6251c71a0cd2f49e8d33613f34c34f0d8c

drwxr-xr-x		..
-rw-r--r--	1382	Config.php	blob \| blame \| history \| raw
-rw-r--r--	911	ConfigException.php	blob \| blame \| history \| raw
-rw-r--r--	3251	ConfigFactory.php	blob \| blame \| history \| raw
-rw-r--r--	2292	GlobalVarConfig.php	blob \| blame \| history \| raw

MediaWiki Core