Benutzer:Egiruu/monobook.js

// Diese Seite enthält JS-Funktionen von Shadowtweakers Seite:
// http://pokewiki.de/Benutzer:Shadowtweaker/monobook.js
// Wenn du diese Funktionen auch nutzen willst, solltest du oben genannte Adresse besuchen
// und Shadowtweaker gegebenenfalls um Hilfe fragen. © Shadowtweaker

/*
################################ Find & Replace inkl. RegExp beim Bearbeiten von Seiten ###################################
# Wenn mal beim Bearbeiten einer Seite derselbe Fehler mehrmals vorkommt, kann dieser Code eine große Zeitersparnis sein. #
# Drückt man Strg + I, öffnen sich zwei Dialogfenster, in die man zwei Zeichenketten eingibt:                             #
# Eine zu ersetzende Zeichenkette und eine einzusetzende Zeichenkette.                                                    #
# Sofort werden im Quelltext der Seite alle Vorkommnisse der ersten Zeichenkette durch die zweite ersetzt.                #
# Es werden auch reguläre Ausdrücke unterstützt, z. B. steht [0-9] für eine beliebige Ziffer.                             #
# Auch das Speichern in Variablen wie $1 ist möglich.                                                                     #
# Groß- und Kleinschreibung wird beachtet.                                                                                #
########################################################################################################################### */
var regexpcountdown = window.setInterval("regexpkeydown()", 1000);
function regexpkeydown() {
  if (mw.config.get( "wgAction" ) == "submit" || mw.config.get( "wgAction" ) == "edit")
  {
    document.onkeydown=regexpwindow;
  }
}
function regexpwindow(e) {
  if (!e) e=window.event;
  if (e.keyCode==73 && e.ctrlKey) {
    var findtext = /null/;
    findtext.compile(prompt('Text, der gefunden werden soll:'), "g");
    var replacetext = prompt('Text, der eingesetzt werden soll:');
    if (findtext != /null/ && replacetext != null)
    {
      document.getElementById("wpTextbox1").value = document.getElementById("wpTextbox1").value.replace(findtext, replacetext);
    }
  }
}