{
  "permissions": {
    "allow": [
      "Bash(php -l:*)"
    ],
    "deny": []
  }
}