Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  bbe8189b37250ccb438cb57cf4e65d0b32c5dfc1

Editor (beta): Refresh the page after an edit

Don't force the user to unnecessarily refresh the page
Change-Id: I167267dde2511c910acd1a1557250bdc8140c896