Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  6f7cb5721f93cb25d20e7ea976c905ef3ecf775d

Code cleanup: Merge mixins, use vertical-gradient

This doesn't need its own one

Change-Id: I890220523ae8a00078fd9475e1d1a08e8d0ad401
Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  35964a2a7558676bae15c49ee9317fd67fb62ffd

Use 'agora' styling for button on settings page

It should look like all the other buttons

Change-Id: I89841b644c9d7820210d79c14d44be50fc0b2899