Restored line accidentally removed in r70520

[mediawiki.git] / index.php5

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