Last modified: 2014-04-01 00:19:26 UTC
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.
Deleted and cleaned up from all replicas.