PHP/JS linting