Three small fixes to mediawiki.specials.preferences.js

[lhc/web/wiklou.git] / redirect.php5

<?php require './redirect.php';