mediawiki-core: master

More information on Continuous Integration at www.mediawiki.org.