PHP: when saving file run phplint and report the error in the editor (similar to c++ compiler errors)