Followup r99923: spaces->tabs, add @embed

[mediawiki.git] / redirect.php5

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