21 lines (16 loc) · 1018 Bytes

Using NoVerify as language server for VSCode

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": [
    "-cores=4",
    "-cache-dir=/path/to/cache"
  ]
}

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