SublimeLinter plugin for PHP, using the php built-in linter