Support recent versions of PHP and remove the dead version 5.2