Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  8125c33dc838fd789e8d4618e6980e4626d6ae90

Correct error message when checking version number

Change-Id: I2699a5b2892b16a4411e2c5837c6df0ac94e2b80