Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  4f3ea6c926098766305f53456840843c886d3952

Hygiene: Indentation fixes

* Remove double spaces
* Correct indentation level
** Note on NotificationsOverlay.js I simply remove one tab indent on all properties

* Predefine variables before initialising them

Change-Id: I935dd7e941c67f5dad4a18de14febc2068ec7b06