Revert r37712 which was itself a revert of r37642 (filter by protocol in list-all...
[mediawiki.git] / config / 
treea14fb6f0ca2f460aede14d737b8fc0fc77bb8f1a
drwxr-xr-x   ..
-rw-r--r-- 67521 index.php
-rw-r--r-- 68 index.php5