Update to PHP 7.