Remove check for wikimedia-mode file, which no longer exists
authorwithoutaname <drevitchi@gmail.com>
Sun, 20 Jul 2014 04:31:08 +0000 (21:31 -0700)
committerwithoutaname <drevitchi@gmail.com>
Sun, 20 Jul 2014 04:31:08 +0000 (21:31 -0700)
commit2997b116f36d65bbc9c7178c8066074e8aa7f483
tree9d6e1420989a55a2a35197367fc7a29cd8ea4d96
parent589bba9582ca5fe9c1dd9bc83b76e90f21ef4826
Remove check for wikimedia-mode file, which no longer exists

Change-Id: Ib463e7687b7b35147bddef68b9548e7b86c5ef52
maintenance/doMaintenance.php