[mediawiki.js] minor improvements based on recently added features to JSLint

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

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