Don't show empty source code for non-existing pages if editing was prevented by a...
[mediawiki.git] / config / 
treedb2acbc38caff196045eb844b0af7152a31c9c55
drwxr-xr-x   ..
-rw-r--r-- 80726 Installer.php
-rw-r--r-- 1676 index.php
-rw-r--r-- 64 index.php5
-rw-r--r-- 828 new-index.php