powershell_encoding/website/data/plugins-nav-data.json

[
  { "heading": "External Plugins" },
  {
    "title": "Overview",
    "path": ""
  },
  {
    "divider": true
  }
]
feat: extract `/plugins` (#11464 ) 2022-01-11 10:26:05 -05:00			`[`
Update plugin docs - devdot launch (#11978 ) 2022-09-15 18:12:37 -04:00			`{ "heading": "External Plugins" },`
feat: extract `/plugins` (#11464 ) 2022-01-11 10:26:05 -05:00			`{`
Update plugin docs - devdot launch (#11978 ) 2022-09-15 18:12:37 -04:00			`"title": "Overview",`
feat: extract `/plugins` (#11464 ) 2022-01-11 10:26:05 -05:00			`"path": ""`
			`},`
			`{`
			`"divider": true`
			`}`
			`]`