MediaWiki:Common.js: Difference between revisions

Revision as of 19:00, 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 code_box(text) {
  document.write("<pre>");
  document.write(text);
  document.write("</pre>");
  document.write("<br/>");
}