Commands Manifest Bug, when using `when` clause 🐞

[the3emran (Emran Ramezan)]

Hi there is a bug when using the when clause in the manifest, under `“extension” key:

To replicate

• Create extension.json

...
  "commands": {
    "extensions": [
      {
        "title": "myCommand",
        "command": "ABC",
        "shortcut": "cmd-<",
        "when": "editorHasFocus", // the bug
        "filters": {
          "syntaxes": ["php"]
        }
      }
    ]
  },
....

Without when

• Here is the same without when clause:

... 
"commands": {
    "extensions": [
      {
        "title": "myCommand",
        "command": "ABC",
        "shortcut": "cmd-<",
        "filters": {
          "syntaxes": ["php"]
        }
      }
    ]
  },
...

Link to Docs

• Command Documentation