Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  9fefc93e4dd435e153d74c1268bdf55dc488f3ee

Add a warning about mobileformat changes

Change-Id: I4e99003d14d2035327bb5afd92109b635c8845a9