Migrating to PHP 7.1Today I updated the version of PHP I use in my development environment, from PHP 7.0.7 to PHP 7.1.1.
