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

18 KiB

Raw Blame History

View Raw