PHP linting