Core developers

Core developers are a magical subset of developers who can merge code changes into the mediawiki.core branch, I guess?