/**
 * @typedef {Object} MenuDefinition
 * @prop {string} id
 * @prop {string} label-id
 * @prop {string} label
 * @prop {string} html-items
 * @prop {string} [class] of menu
 * @prop {string} [html-userlangattributes]
 */

/**
 * @typedef {Object} PortletContext
 * @prop {string} portal-id
 * @prop {string} html-tooltip
 * @prop {string} msg-label-id
 * @prop {string} [html-userlangattributes]
 * @prop {string} msg-label
 * @prop {string} html-portal-content
 * @prop {string} [html-after-portal]
 * @prop {string} [html-hook-vector-after-toolbox] Deprecated and used by the toolbox portal.
 */