Function replace

source/features/extensible-nav.tsx:70–87

(nativeNav: HTMLElement)

}

function replace(nativeNav: HTMLElement): void {
	// Final check to avoid duplicates in any scenario.
	if (elementExists('.rgh-extensible-nav')) {
		return;
	}

	const items = $$('a', nativeNav);
	nativeNav.before(
		<nav className="UnderlineNav rgh-extensible-nav px-4">
			<ul className="UnderlineNav-body">
				{items.map(item => generateTab(item))}
			</ul>
		</nav>,
	);

	nativeNav.classList.add('rgh-extensible-nav-removed');
	isReady = true;
}

async function initOnce(): Promise<void> {
	// Use `element-ready` to ensure that the native navigation is fully loaded before replacing it for the first time.