Merge "Remove completely unused $wgRedirectScript/redirect.php"
authorBrion VIBBER <brion@wikimedia.org>
Mon, 1 Apr 2013 18:53:44 +0000 (18:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 1 Apr 2013 18:53:44 +0000 (18:53 +0000)
commit4f27a593d6113bc1524f25f8ba68f7afbc2c8675
treed6a313ac4fbbe28a999b4c09a99a2005731c9d39
parent431bb0ab237b7e80886d06a399608370dfbacf70
parentf9e54577af112ef3314bef0431c0ab543424e6a8
Merge "Remove completely unused $wgRedirectScript/redirect.php"