Add php-lint