Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  b185794e148734b988898e6ea5b1c18b07d2ffbb

New WikiGrok campaigns UI (version B)

For WikiGrok version B, when there are no tags selected, the button
should say 'None of these'.

Also, tweaking question text to be more concise (now that button
makes it clear that you don't have to select any).

Also, making release text slightly smaller per Jared.

Also, lots of other minor tweaks per Moiz.

Change-Id: I2ca6c65b31afb6b6a8b0a60d0ffff7127dbc6adc