Update PhpType.php