사용자:Senior9324/common.js

  window.working = true;
  var textbox = document.querySelector("#wpTextbox1");
  if (!textbox) return;
  var floatbox = document.createElement("div");
  var oldtext = document.createElement("input");
  var newtext = document.createElement("input");
  var replacebtn = document.createElement("button");
  replacebtn.textContent = "바꾸기";
  replacebtn.onclick = function() {
    textbox.split(oldtext.value).join(newtext.value);
  };
  floatbox.appendChild(oldtext);
  floatbox.appendChild(newtext);
  floatbox.appendChild(replacebtn);
  document.querySelector("#editform").insertBefore(floatbox, document.querySelector("#wikiEditor-ui"));