Updated mediawiki/extensions
Project: mediawiki/extensions/OpenStackManager  087e038b88015de9bcec0cbfa35f4567e86c1443

Localisation updates from http://translatewiki.net.

Change-Id: Ide2e711fb9e5aa5d1d27cf8e7c5b2ac42373b665
Updated mediawiki/extensions
Project: mediawiki/extensions/OpenSearchXml  666744a47f2accbb7d4c3daf9d3d0eee684c884d

Localisation updates from http://translatewiki.net.

Change-Id: I9ebf0e6d6bbee1cd99ec02d70026c444ddba95ac
Updated mediawiki/extensions
Project: mediawiki/extensions/OnlineStatus  b3230710ad1d1c62f9d0af562b8913a524aa0799

Localisation updates from http://translatewiki.net.

Change-Id: Ib754b65fa4b6cd8bf2f7cdf8f61424303546dac9
Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  dfae82d40a5cf885a8921766b81b04afb7639fd0

Standardize the hamburger and remove isOverlay (#375)

isOverlay is not needed anymore because all pages are supposed to have
the hamburger. Articles have a searchbox, special pages have a heading.

Change-Id: Ie43b568221a067a0eaf2923bfc3a779bb8ca21ca

Remove noMargins and the need for addArticleClass()

Also set isOverlay to false (it was adding a .content div to many
special pages) and prepare for its removal.

Change-Id: Ie77849e636a4d7420cabae88ef7fffd9a6f85b04
Updated mediawiki/extensions
Project: mediawiki/extensions/OATHAuth  b9c040ef4ee09ed4fa81064a93c91e1fef895889

Localisation updates from http://translatewiki.net.

Change-Id: Id013a5fb0d32eb91e237e20d513ea8d0f3c87994
Updated mediawiki/extensions
Project: mediawiki/extensions/NumberFormat  71174d712caf1fe5a7a480f02a3464f76ca62ac1

Localisation updates from http://translatewiki.net.

Change-Id: Ib062e2111c1146bd61c5d4f3afb79e6398808630