PHP: when saving a PHP file, run the lint tool (php -l) for syntax errors