PHP-Parallel-Lint icon indicating copy to clipboard operation
PHP-Parallel-Lint copied to clipboard

Published 20 hours ago • verified publisher icon JakubOnderka

read skip-linting.php from path instead of passing the code arround

Open staabm opened this issue 7 years ago • 3 comments

improves linting speed for a few percent and prevent unnecessary IO.

staabm avatar Feb 27 '18 08:02 staabm

ping @JakubOnderka

staabm avatar Mar 05 '18 13:03 staabm

Ping @JakubOnderka

staabm avatar May 14 '18 13:05 staabm

Hi @staabm, thanks for pull request! Why do you think it is faster? Because after your change, the file is loaded every time, before change it was loaded just once during initialisation. Did you measure it?

JakubOnderka avatar Aug 12 '18 14:08 JakubOnderka