Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  b25a38d25aa2694422bde391e07833d625c58b87

Hygiene: Clearly identify when/how things get initialised.

Change-Id: I5dbf45481676aeb47dcff58bd570c9ab01fcadd9