PHP lint

Restricted to PHP files