Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  e80757985c8fcfa11ea8f4e68493242e3bdd08a9
null
Make Cucumber progress formatter the default one

HTML and XML reports are more useful at Jenkins machine and progress
formatter is more useful when running tests locally.

Change-Id: I3316bc1f0122ec26c972638a5999768a1e547da0