Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  502b41b0325a1e259b136c1c72915aa4cc40d3e5

Story 1891: Push history to stable

Easiest push to stable ever. :-)

Change-Id: I1c8eb0d80cd4845fd112c699e8acdab01182108b