미디어위키:Gadget-devtools.js

function startEruda() {
	if(document.getElementById('script-eruda')) return;
	var script = document.createElement('script');
	script.id = 'script-eruda';
	script.src = "https://cdn.jsdelivr.net/combine/npm/eruda@3,npm/eruda-vue@1";
	document.body.append(script);
	script.onload = function() {
		eruda.init();
		eruda.add(erudaVue);
	};
}

function createDevToolsButton() {
	$('#footer-places')
		//.append($('<li id="footer-places-devtools-firebug" />').append($('<a>개발자 도구(Firebug)</a>').click(startFirebug)))
		.append($('<li id="footer-places-devtools-eruda" />').append($('<a>개발자 도구</a>').click(startEruda)));
}
$(createDevToolsButton);