Revert r78023 and its follow-up r78802: change seems to have been made for somewhat...

[mediawiki.git] / index.php5

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