Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  82cf559d2cc3b7e8645ece8feb02f568c52f3f4c

Profile Tidy usage in mobileview

Change-Id: I8e32ea7bebc26727a5b2071e5632ac4b53b945dc