Merge "Remove completely unused $wgRedirectScript/redirect.php"