[Wikitech-l] Upcoming CI changes for PHP 7