Comment out PHP-Lint