Merge "Revert "Replace Media namespace redirects with File namespace""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 10 Oct 2018 04:00:42 +0000 (04:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 10 Oct 2018 04:00:42 +0000 (04:00 +0000)
commit8d5f23f694ab1555f5f7f082f6e982a0c1de6342
tree5d8af87b9acf925c4aeaf16555237730c784beec
parente94964989dc3508ccfcd4f6d71a912b98a75a5be
parent1c101265cf2ce13c2d3427bea265a18b2d94331f
Merge "Revert "Replace Media namespace redirects with File namespace""