Hey, Yesterday I released a new feature in the Maps extension that uses the mediawiki.api.edit resource loader module. I developed this against MediaWiki 1.31 (the latest LTS and minimum version of MediaWiki required by Maps). Today I found out that things are broken on MediaWiki 1.33.0. Apparently the mediawiki.api.edit resource loader module got removed. What is the deprecation policy for such modules? I was rather surprised that a module with no sign of deprecation is gone 2 releases later, without any form of fallback. And more importantly, how can I now make my code work with both MW 1.31 and 1.33? I see that on MW master, the relevant JS file is now part of the mediawiki.api module. I could include both modules, which would work fine on MW 1.31, though on 1.33 I'd still have a reference to a module that does not exist. And since my own module definition is in JSON (extension.json), I can't even check which MW version I'm dealing with (unless there is some special syntax for this). I'm not seeing a sane solution that I can use here, so help is much appreciated. Cheers -- Jeroen De Dauw | www.EntropyWins.wtf <https://entropywins.wtf> | www.Professional.Wiki <https://professional.wiki/> Software Crafter | Entrepreneur | Speaker | Strategist | Contributor to Wikimedia and Open Source ~=[,,_,,]:3