New checker for PHP: PHPLint.