Did the core change https://gerrit.wikimedia.org/r/#/c/60954/ get deployed? I'm still seeing gadget errors on the mobile site from these scripts amongst others and wondering whether I should reopen the bug [1]:
*https://en.m.wikipedia.org/w/index.php?title=MediaWiki:Gadget-metadata.js&am... *https://en.m.wikipedia.org/w/index.php?title=MediaWiki:Gadget-edittop.js&...