Delete redirect.(php|phtml)

This script hasn't been in use in forever and nothing on earth should
be linking to it--and Google hasn't turned up anything other than legacy
$wgRedirectScript references lying about.

Bug: 47279
Change-Id: I305a51274aa24bedc2de9013a0a88254343f01cd
Merge "Delete redirect.(php|phtml)"