As discussed in r85918 CR. Move everything from wfIndexMain() at index.php to MediaWi...
[lhc/web/wiklou.git] / includes / extauth /
drwxr-xr-x   ..
-rw-r--r-- 2385 Hardcoded.php
-rw-r--r-- 4541 MediaWiki.php
-rw-r--r-- 3950 vB.php