Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  b6d30db557899fba14365fb5fdc672db9ac67900

Beta: After a successful edit reinitialise the last modified timestamp

Change-Id: Ic66c9292ebe8a7a1c02cca8c144d47fa605fc1bc