Convert MobileFrontend mediawiki extension to use wfLoadExtension