follow up r60832 and follow up r60763

[mediawiki.git] / index.php5

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