Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  57243065b25236306b21c2b39cb079850d6ee95f

Improve saving in VE

* Use .saving-header so that saving spinner looks the same as in wikitext
  editor.
* Remove unnecessary spinner shown below the edit summary input.

Change-Id: I35e04da00db15112bb8a109e5acb9e0a604925db