Extension to r89419, removing a bugous CSS code

[mediawiki.git] / index.php5

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