Better php-lint check