미디어위키:Gadget-devtools.js

참고: 설정을 저장한 후에 바뀐 점을 확인하기 위해서는 브라우저의 캐시를 새로 고쳐야 합니다.

파이어폭스 / 사파리: Shift 키를 누르면서 새로 고침을 클릭하거나, Ctrl-F5 또는 Ctrl-R을 입력 (Mac에서는 ⌘-R)
구글 크롬: Ctrl-Shift-R키를 입력 (Mac에서는 ⌘-Shift-R)
엣지: Ctrl 키를 누르면서 새로 고침을 클릭하거나, Ctrl-F5를 입력.

function startEruda() {
	var script = document.createElement('script');
	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);