Joe Blubaugh 41dc88bd25 Adds a description field to plugin.json's pages:role field (#62439) ...

* Adds a description field to plugin.json's pages:role field

There's no description of what a page object's "role" setting does. It
controls whether a page will appear in the navigation menu for a user
with a given role.

* Update plugindef.cue with comments to match documentation.

* make gen-cue

2023-02-03 14:50:24 +01:00

..

gen.go

kindsys: Fix CUE code generation on Windows (#62812)

2023-02-02 15:06:55 -05:00

pascal_test.go

Kindsys: Unify plugins, pfs with kind framework (#61192)

2023-01-20 09:41:35 +00:00

plugindef_bindings_gen.go

Chore: Update ast to dst (#61469)

2023-01-17 11:58:08 +01:00

plugindef_types_gen.go

Adds a description field to plugin.json's pages:role field (#62439)

2023-02-03 14:50:24 +01:00

plugindef.cue

Adds a description field to plugin.json's pages:role field (#62439)

2023-02-03 14:50:24 +01:00

plugindef.go

Kindsys: Unify plugins, pfs with kind framework (#61192)

2023-01-20 09:41:35 +00:00