Three small fixes to mediawiki.specials.preferences.js
[lhc/web/wiklou.git] / index.php5
1 <?php require './index.php';