Adding PHPLint