미디어위키:Gadget-devtools.js 문서 원본 보기

function startEruda() {
	var script = document.createElement('script');
	script.src = "https://cdn.jsdelivr.net/npm/eruda";
	document.body.append(script);
	script.onload = function() {
		eruda.init();
	};
}

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);