Better php-lint for mod'ed git phps