Add our PHP tooling harness