Last additions to the phplint files --

I used `find . -iname "*.php”` to catch any stragglers that I’d forgot
about.

It would be nice to find them dynamically down the road.