MediaWiki:Gadget-MobileFauxJS

Mobile Faux JS: Workaround via gadget — Mobile.js has been broken on MobileFrontend since MediaWiki 1.35. See T6362.