The why and the how of moving to PHP 7.x