Completed
Push — master ( b17148...19f444 )
by Carlos
02:33
created

Changes

1 new patch (Spacing) is available.
3 added classes/operations
Arrow A LintCommand::dumpResult() added
Arrow A LintCommand::getCodeSnippet() added
Arrow A LintCommand::getHighlightedCodeSnippet() added
B C LintCommand::execute() got worse
A B LintCommand got worse
8.89
▼   -0.47
Head
overtrue  
Merge branch 'master' of github.com:overtrue/phplint
1 more commit
Base
安正超  
Merge pull request #32 from sarcastron/bugfix/undefined-index-cache