Added PHP linting