Merge "Move toctoggle from mediawiki.util.js to separate file mediawiki.toc.js"
[lhc/web/wiklou.git] / includes / config /
drwxr-xr-x   ..
-rw-r--r-- 1657 Config.php
-rw-r--r-- 1194 GlobalConfig.php