Fix r74388: CSS for IE7 and below was put in a selector that only applies it for...

[mediawiki.git] / index.php5

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