MediaWiki:Onlyifediting.js

// // Opties voor het speciale tekensmenu in MediaWiki:Edittools // wordt in MediaWiki:Common.js aangeroepen, // gekopieerd vanaf de:MediaWiki:Onlyifediting.js function addCharSubsetMenu { var specialchars = document.getElementById('specialchars'); if (specialchars) { var menu = ""; menu += " Standaard "; menu += " Arabisch "; menu += " Cyrillisch "; menu += " Fonetisch "; menu += " Grieks "; menu += " Hebreeuws "; menu += " "; specialchars.innerHTML = menu + specialchars.innerHTML; // Standaard-CharSubset chooseCharSubset(0); } } // CharSubset-keuze 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 invoegen? function customizeWikipedia { addCharSubsetMenu; } addOnloadHook(customizeWikipedia); //