cover-extensions: MobileFrontend

More information on Continuous Integration at www.mediawiki.org.