MediaWiki:Common.js: Difference between revisions
Wiki admin (talk | contribs) No edit summary |
Wiki admin (talk | contribs) No edit summary |
||
Line 18: | Line 18: | ||
if (text.startsWith('$ ')) { | if (text.startsWith('$ ')) { | ||
text_to_copy = text.substring(2); | text_to_copy = text.substring(2); | ||
} | } | ||
else { | else { | ||
text_to_copy = text; | text_to_copy = text; | ||
} | } | ||
Latest revision as of 20:03, 15 September 2022
/* Any JavaScript here will be loaded for all users on every page load. */ function copy_to_clipboard_2(text) { navigator.clipboard.writeText(text); alert("Copied: " + text); } function copy_to_clipboard(text) { btn = document.activeElement; navigator.clipboard.writeText(text); btn.value="📋Copied!"; //btn.style.backgroundColor = 'green'; //btn.style.color = 'white'; btn.style.color = 'blue'; } function command_box(text) { if (text.startsWith('$ ')) { text_to_copy = text.substring(2); } else { text_to_copy = text; } document.write("<table border=0 width=100%><tr><td>"); document.write("<pre>" + text + "</pre>"); document.write("</td><td width=1>"); document.write("<input type=button value=\"📋Copy\" onclick=\"copy_to_clipboard('" + text_to_copy + "')\" />"); document.write("</td></tr></table>"); }