Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  dfa62693834520d3535eb7502a5f6767c79a8cb0

Story 1925: Push user contributions to stable

Change-Id: I1dd52989616b669c5dc7cdcf7972ed82460ced18