robust tooling for PHP