미디어위키: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>').c...) |
편집 요약 없음 |
||
(같은 사용자의 중간 판 4개는 보이지 않습니다) | |||
1번째 줄: | 1번째 줄: | ||
function startEruda() { | function startEruda() { | ||
if('eruda' in window) return; | |||
mw.loader.getScript("https://cdn.jsdelivr.net/npm/eruda").then(function() { | |||
eruda.init(); | eruda.init(); | ||
}; | }); | ||
} | } | ||
function createDevToolsButton() { | function createDevToolsButton() { | ||
$('#footer-places') | $('#footer-places').append($('<li id="footer-places-devtools-eruda" />').append($('<a>개발자 도구</a>').click(startEruda))); | ||
} | } | ||
$(createDevToolsButton); | $(createDevToolsButton); |
2024년 11월 24일 (일) 23:39 기준 최신판
function startEruda() {
if('eruda' in window) return;
mw.loader.getScript("https://cdn.jsdelivr.net/npm/eruda").then(function() {
eruda.init();
});
}
function createDevToolsButton() {
$('#footer-places').append($('<li id="footer-places-devtools-eruda" />').append($('<a>개발자 도구</a>').click(startEruda)));
}
$(createDevToolsButton);