Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  4decbacd624fbb68b00900585542acde12a83aa9

Story 347: Provide nicer filenames

Filenames are descriptions with date appended accurate to minutes

Change-Id: I8b5f2a78b9f73a23abc505ac424ab3926b81bf6d