Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  3ea1a92f2f20cef1ba853c3e1cfa9c2539236936

hygiene and appearance

Change-Id: I8b7d3eb67e4cbed0d9ca3e104876c8f1493b2bb9