Revert "Replace Media namespace redirects with File namespace"
authorKrinkle <krinklemail@gmail.com>
Tue, 9 Oct 2018 01:19:02 +0000 (01:19 +0000)
committerKrinkle <krinklemail@gmail.com>
Tue, 9 Oct 2018 01:19:12 +0000 (01:19 +0000)
commit1c101265cf2ce13c2d3427bea265a18b2d94331f
tree4395a10774b4575aa0545f972f365c720a4abdf0
parent613e269920a7d268b012d61fec24fc4d04b1cd7a
Revert "Replace Media namespace redirects with File namespace"

Per T203942.

This reverts commit 613e269920a7d268b012d61fec24fc4d04b1cd7a.

Change-Id: I4febbe9c650894976a580e584d0a7c11de12ff37
includes/MediaWiki.php