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 <[email protected]> wrote: > On Mon, Jan 12, 2015 at 9:31 AM, Antoine Musso <[email protected]> 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 > [email protected] > https://lists.wikimedia.org/mailman/listinfo/wikitech-l -- Jon Robson * http://jonrobson.me.uk * https://www.facebook.com/jonrobson * @rakugojon _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
