Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  a641b3c5e3e3d37d4f221892427eed85e5b1ff3f

Adding mobile.startup to wikigrok dependencies for debug=true

Otherwise, it throws a JS error due to M.isWideScreen() undefined.

Change-Id: Ie12c3d8dcc2f28726502062fbed5142bdf06b6f4