php-lint is running slow in some circumstances #221
Description
Getting some reports that phplint is running slowly sometimes.
phplint is prone to hanging on errors in the version we have, but just a week ago a fix was released as 0.0.6 that helps php-lint fail faster. Such a fix is probably not complete for this issue, but it's a good start.