MediaWiki:Edittools.js
Uit Wiki
Versie door Admin (overleg | bijdragen) op 5 jun 2008 om 17:46 (Nieuwe pagina: →<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. /...)
Opmerking: nadat u de wijzigingen hebt opgeslagen is het wellicht nodig uw browsercache te legen.
- Firefox / Safari: houd Shift ingedrukt terwijl u op Vernieuwen klikt of druk op Ctrl-F5 of Ctrl-R (⌘-Shift-R op een Mac)
- Google Chrome: druk op Ctrl-Shift-R (⌘-Shift-R op een Mac)
- Internet Explorer: houd Ctrl ingedrukt terwijl u op Vernieuwen klikt of druk op Ctrl-F5
- Opera: ga naar Menu → Instellingen (Opera → Voorkeuren op een Mac) en daarna naar Privacy & beveiliging → Browsegegevens wissen... → Tijdelijk opgeslagen afbeeldingen en bestanden.
/* <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>Latin</option>"; menu += "<option>Greek</option>"; menu += "<option>Cyrillic</option>"; menu += "<option>IPA</option>"; menu += "<option>Arabic</option>"; menu += "<option>Catalan</option>"; menu += "<option>Czech</option>"; menu += "<option>Devanāgarī</option>"; menu += "<option>Esperanto</option>"; menu += "<option>Estonian</option>"; menu += "<option>French</option>"; menu += "<option>German</option>"; menu += "<option>Hawaiian</option>"; menu += "<option>Hebrew</option>"; menu += "<option>Hungarian</option>"; menu += "<option>Icelandic</option>"; menu += "<option>Italian</option>"; menu += "<option>Latvian</option>"; menu += "<option>Lithuanian</option>"; menu += "<option>Maltese</option>"; menu += "<option>Old English</option>"; menu += "<option>Pinyin</option>"; menu += "<option>Polish</option>"; menu += "<option>Portuguese</option>"; menu += "<option>Romaji</option>"; menu += "<option>Romanian</option>"; menu += "<option>Scandinavian</option>"; menu += "<option>Serbian</option>"; menu += "<option>Spanish</option>"; menu += "<option>Turkish</option>"; menu += "<option>Vietnamese</option>"; menu += "<option>Welsh</option>"; menu += "<option>Yiddish</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>*/