Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  214f1ed0a21cdab9f30a37e74bdd94052ee0718d

Blindly remove simple, opera mini and opera mobile stylesheets

Who knows what these undocumented rules are here for
Nothing looks vital in these

Change-Id: I9971836cbcea2f9a4c7b2857dcb881fa75386ed5
Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticForms  8add8efadb8976c5dafb34870a9dc5039e13cbc5

Reverted one change, that led to default values being used for page edits

Change-Id: Id51493aedb1fee1b01fd3e6c45e79b85035a622d