On 12 January 2015 at 08:31, Antoine Musso hashar+wmf@free.fr wrote:
I have crafted and enabled two new jobs:
- mediawiki-phpunit-hhvm
- mediawiki-phpunit-zend
Which are triggered whenever a patch is proposed to the repos:
mediawiki/core mediawiki/vendor
Or the mobile related extensions:
Echo JsonConfig Mantle MobileApp MobileFrontend VisualEditor WikiGrok ZeroBanner ZeroPortal
Lovely stuff. Thank you, Antoine.
J.