Best text editor for php and javascript linting