Follow-up r76113, r76114: undeclared global, unnecessary global + some whitespace...

[mediawiki.git] / redirect.php5

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