미디어위키:Gadget-devtools.js

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

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

function startEruda() {
	if('eruda' in window) return;
	mw.loader.getScript("https://cdn.jsdelivr.net/combine/npm/eruda@3,npm/eruda-vue@1").then(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);