MediaWiki:Edittools.js
Jump to navigation
Jump to search
Note: After publishing, you may have to bypass your browser's cache to see the changes.
- Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
- Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
- Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
- Opera: Press Ctrl-F5.
/* <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>Math</option>"; menu += "<option>French</option>"; menu += "<option>German</option>"; menu += "<option>Italian</option>"; menu += "<option>Portuguese</option>"; menu += "<option>Spanish</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>*/