PHPマニュアルの「付録 - PHP 7.0.x から PHP 7.1.x への移行」を読みました。