adding php-lint