Win. PS. Mantle is in the process of being deprecated (see https://phabricator.wikimedia.org/T85890) so you will be able to remove that soon.
On Mon, Jan 12, 2015 at 9:07 AM, Chris McMahon cmcmahon@wikimedia.org wrote:
On Mon, Jan 12, 2015 at 9:31 AM, Antoine Musso hashar+wmf@free.fr wrote:
Hello,
I have crafted and enabled two new jobs:
- mediawiki-phpunit-hhvm
- mediawiki-phpunit-zend
...
Side effect: if one deprecates a function/method in mediawiki/core and it is used by one of the extensions above, the job will fail until the extensions above have been adjusted.
This should mean fewer problems for QA to find in beta labs. I am all for that. _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l