The extension has been renamed; the new component can have all the same settings as the old component, except for references to https://www.mediawiki.org/wiki/Extension:CoreEvents, which should be updated to point to https://www.mediawiki.org/wiki/Extension:WikimediaEvents.

Version: wmf-deployment
Severity: normal