Followup r91832: move maintenance script from core to Renameuser extension.

[mediawiki.git] / redirect.phtml

<?php
// stub file for compatibility with older versions
include_once('./redirect.php');