Add 'infef only' option (part of bug 13722)
[mediawiki.git] / config / 
tree48532a19009a3b8bdb57d98343214a6afc977fa8
drwxr-xr-x   ..
-rw-r--r-- 64641 index.php
-rw-r--r-- 68 index.php5