Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  a763e1195160a9f7498e21127a4f79e599f77b98

Hygiene: Merge @contentMarginLeft/Right into @contentMargin

Change-Id: I46e67bf9fc0a83692ca957a359d336c99db7c774
Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  f0754cfae389f5c2c5da114e859bbe4c8d5290a8