Linting en PHP