Re: [Wikitech-l] Upcoming CI changes for PHP 7