Last modified: 2013-10-09 09:13:26 UTC
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>.
Done.