Hi all,
I've just undeployed the UserMerge extension from all Wikimedia
wikis[0], after it has been unused and unmaintained for multiple years.
This means that policy[1] no longer requires that all other WMF deployed
extensions are compatible with it.
[0]:
https://phabricator.wikimedia.org/T216089
[1]:
https://www.mediawiki.org/wiki/Writing_an_extension_for_deployment
-- Taavi (User:Majavah)