PHPLint plugin for Gedit 3