* r81084 added prefix to index name and as this index gets synced directly it has...
[mediawiki.git] / mw-config / 
treeed224574aac21147f0137c495bca8976f4c08f46
drwxr-xr-x   ..
-rw-r--r-- 1229 index.php
-rw-r--r-- 64 index.php5