Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  f2a520a5f3ecf16801ccbc0b15cd32f0f051589b

Hygiene: Cleanup the progress bar FIXME

The bug is fixed so do what the README says.
However bug 41731 isn't
Use a config variable rather than commenting out - much cleaner
and there is no reason this shouldn't be available to 3rd party wikis

Change-Id: Ie3805af2faf67d4e4e01a0b97ed618477d8adb41