Function destroy

src/lib/devTools.js:138–145

* Destroy Eruda instance

()

	 * Destroy Eruda instance
	 */
	destroy() {
		if (!isInitialized) return;
		erudaInstance?.destroy();
		erudaInstance = null;
		isInitialized = false;
		const script = document.getElementById("eruda-script");
		if (script) script.remove();
	},
};

export default devTools;