미디어위키:Gadget-devtools.js: 두 판 사이의 차이
둘러보기로 이동
검색으로 이동
편집 요약 없음 |
편집 요약 없음 |
||
| 1번째 줄: | 1번째 줄: | ||
function startEruda() { | function startEruda() { | ||
if | 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.init(); | ||
eruda.add(erudaVue); | eruda.add(erudaVue); | ||
}; | }); | ||
} | } | ||
2024년 8월 27일 (화) 23:09 기준 최신판
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);