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)