MediaWiki:Edittools.js: Unterschied zwischen den Versionen

Aus Deutsche Bromelien-Gesellschaft e. V.
Zur Navigation springen Zur Suche springen
Keine Bearbeitungszusammenfassung
(Die Seite wurde geleert.)
 
(Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt)
Zeile 1: Zeile 1:
/* <source lang="javascript"><nowiki> Top of Javascript */
// Drop down box for the Special character menu in [[MediaWiki:Edittools]]
// will be called from [[MediaWiki:Common.js]].
// Adapted from:
// http://commons.wikimedia.org/wiki/MediaWiki:Edittools.js


// Switch for people that don't want it
if (load_edittools == true)
{
function addCharSubsetMenu() {
var specialchars = document.getElementById('specialchars');
if (specialchars) {
  var menu = "<select style=\"display:inline\" onChange=\"chooseCharSubset(selectedIndex)\">";
  menu += "<option>Standard</option>";
  menu += "<option>Wiki Syntax</option>";
  menu += "<option>Mathematik</option>";
  menu += "<option>Französisch</option>";
  menu += "<option>Italienisch</option>";
  menu += "<option>Portugiesisch</option>";
  menu += "<option>Spanisch</option>";
  menu += "</select>";
  specialchars.innerHTML = menu + specialchars.innerHTML;
  // Standard-CharSubset
  chooseCharSubset(0);
}
}
// CharSubset selection
function chooseCharSubset(s) {
var l = document.getElementById('specialchars').getElementsByTagName('p');
for (var i = 0; i < l.length ; i++) {
  l[i].style.display = i == s ? 'inline' : 'none';
  // l[i].style.visibility = i == s ? 'visible' : 'hidden';
}
}
// Menu insertion
if (window.addEventListener)
  window.addEventListener("load", addCharSubsetMenu, false);
else if (window.attachEvent)
  window.attachEvent("onload", addCharSubsetMenu);
}
/* Bottom of Javascript </nowiki></source>*/

Aktuelle Version vom 3. März 2016, 03:27 Uhr
Abgerufen von „https://de.dbg-web.de/w/index.php?title=MediaWiki:Edittools.js&oldid=4380“