CoreEvents was renamed to WikimediaEvents a while back (by forking); however, CoreEvents was left on the server.
As you can see from https://git.wikimedia.org/log/mediawiki%2Fextensions%2FCoreEvents.git and https://git.wikimedia.org/log/mediawiki%2Fextensions%2FWikimediaEvents.git?pg=2 , the last commit they share is 0580a73 .
After that, the work has been done in WikimediaEvents. I just noticed that CoreEvents was still on the server since the JSON i18n migration script was run on it (that's the only change to CoreEvents since they split).
I don't think there's any reason to keep the version with the old name, so it should be deleted.
Version: wmf-deployment
Severity: normal