MediaWiki:Edittools.js : Différence entre versions

De geoLwiki - Guide géologique du Luxembourg
(Nouvelle page : MediaWiki:Edittools.js From MediaWiki.org Jump to: navigation, search Note - After saving, you may have to bypass your browser's cache to see the changes. Mozilla / Firefox / Safar...)
 
Ligne 1 : Ligne 1 :
 
MediaWiki:Edittools.js
 
From MediaWiki.org
 
Jump to: navigation, search
 
 
Note - After saving, you may have to bypass your browser's cache to see the changes. Mozilla / Firefox / Safari: hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (Command-R on a Macintosh); Konqueror: click Reload or press F5; Opera: clear the cache in Tools → Preferences; Internet Explorer: hold Ctrl while clicking Refresh, or press Ctrl-F5.
 
 
 
/* <source lang="javascript"><nowiki> Top of Javascript */
 
/* <source lang="javascript"><nowiki> Top of Javascript */
 
// Drop down box for the Special character menu in [[MediaWiki:Edittools]]
 
// Drop down box for the Special character menu in [[MediaWiki:Edittools]]
Ligne 11 : Ligne 4 :
 
// Adapted from:
 
// Adapted from:
 
// http://commons.wikimedia.org/wiki/MediaWiki:Edittools.js
 
// http://commons.wikimedia.org/wiki/MediaWiki:Edittools.js
+
 
 
// Switch for people that don't want it
 
// Switch for people that don't want it
 
if (load_edittools == true)
 
if (load_edittools == true)
 
{
 
{
+
 
 
function addCharSubsetMenu() {
 
function addCharSubsetMenu() {
 
  var specialchars = document.getElementById('specialchars');
 
  var specialchars = document.getElementById('specialchars');
Ligne 77 : Ligne 70 :
 
else if (window.attachEvent)  
 
else if (window.attachEvent)  
 
   window.attachEvent("onload", addCharSubsetMenu);
 
   window.attachEvent("onload", addCharSubsetMenu);
+
 
 
}
 
}
 
/* Bottom of Javascript </nowiki></source>*/
 
/* Bottom of Javascript </nowiki></source>*/
 
Retrieved from "http://www.mediawiki.org/wiki/MediaWiki:Edittools.js"
 
Views
 
 
    * Message
 
    * Discussion
 
    * View source
 
    * History
 
 
Personal tools
 
 
    * Log in / create account
 
 
Site
 
 
    * Main page
 
    * Browse categories
 
    * Community portal
 
    * Recent changes
 
 
Download
 
 
    * MediaWiki
 
    * Extensions
 
 
Search
 
 
Support
 
 
    * User help
 
    * Technical manual
 
    * FAQ
 
    * Support desk
 
 
Development
 
 
    * Bug tracker
 
    * View code changes
 
    * Browse SVN
 
    * Download from SVN
 
    * Code docs
 
 
Communication
 
 
    * IRC (#mediawiki)
 
    * Mailing lists
 
 
Toolbox
 
 
    * What links here
 
    * Related changes
 
    * Special pages
 
    * Printable version
 
    * Permanent link
 
 
Powered by MediaWiki
 
Wikimedia Foundation
 
 
    * This page was last modified on 13 December 2007, at 12:57.
 
    * MediaWiki.org's content is available under the GNU Free Documentation License.
 
    * Privacy policy
 
    * About MediaWiki.org
 
    * Disclaimers
 

Version du 29 octobre 2008 à 09:20

/* <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>*/