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