Initial support for php.vet