vscode-plugin.md

Using NoVerify as language server for VSCode

Note: only available in version 0.3.0 and below.

You can install https://marketplace.visualstudio.com/items?itemName=EdgardMessias.php-noverify using VS Code Marktplace.

For example, you can configure the following after VS Code installation:

{
  "php-noverify.noverifyPath": "<noverify binary path>",
  "php-noverify.noverifyExtraArgs": [
    "check",
    "-cores=4"
  ]
}

After you reload VS Code, you should get NoVerify started as a language server.