Remove completely unused $wgRedirectScript/redirect.php

Change-Id: Ia624d65fbb1c787293054e12162b1444ab7c1edc
Merge "Remove completely unused $wgRedirectScript/redirect.php"