Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  67a6eaf26244d801260a32e4355321af5e8e7264

Hard refresh the main page on an edit.

Don't resort to an ajax refresh for the main
page. It's too special cased and it's a pain to deal
with.

Bug: 56544
Change-Id: I8f165326b7aa7e952e990bcc1e5133bf22444015