$def with (props) $# @typedef {Object} DropdownLink $# @property {string} text of link $# @property {string|null} href of link for HTTP get request $# @property {string|null} post when set will be used instead of href and should use HTTP POST request. $# $# @param {Object} props template properties $# @param {string} props.name unique identifying name for dropdown and distinguishing it from other dropdowns $# @param {string} props.label for menu, also used as alt text for dropdown icon when props.image is set $# @param {string|null} props.image URL for image (optional) $# @param {DropdownLink[]} props.links
$if props['name'] == 'hamburger' and ctx.user: $(props['label']) $elif 'image' in props: $(props['label']) $elif 'label' in props: $(props['label']) $_('Menu') $if 'show_mask' in props: