Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  b8c0b83b1307e01023fa76a1c27b13e3566112c9

Regression: Make Special:MobileOptions checkboxes work without js

Change-Id: Ib0d0d7ac17821d3e8e94e93efbd0a58bfc571c99