/**
 * Sets the priority attribute on a menu element, determining its position in the menu.
 * Lower priority elements appear on the left, higher priority on the right.
 */
export declare function setElementPriority(button: HTMLElement, priority: number): void;
/**
 * Gets the priority attribute from a menu element.
 * @returns The priority value, or undefined if not set or not a valid number.
 */
export declare function getElementPriority(button: HTMLElement): number | undefined;