Add PHP 7 (master) support