PHP linting via flymake-php