Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  97a3a4985b142495c6e29681a55838838f217569

Move ResourceLoader modules to their own file

MobileFrontend.php is becoming too messy.
This copies what core does.
If it's good enough for core...

Change-Id: I4505258f28eec0ff1342b5fd0cd2449324a8361f