* Removed leftover token check of unhide=1 that was removed elsewhere

[mediawiki.git] / redirect.php5

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