lightning fast php linting