Difference between revisions 10892482 and 10892519 on frwiktionary

// --------------------------------------------------------------------------------------------
// Création d'un mot à partir d'un patron généré automatiquement
// à partir de quelques clics dans une boite de dialogue
//
// --------------------------------------------------------------------------------------------
// Code en partie inspiré de w:MediaWiki:Gadget-RenommageCategorie.js
// et aussi de MediaWiki:Gadget-SpecialChar.js
// Le reste est fait par ArséniureDeGallium, sous CC-BY-SA.
(contracted; show full)function CrNoMo_CheckMenu(){
     var tb = document.getElementById("wpTextbox1")
     if( !tb ) {
       alert("Ouvrez la page en en édition avant.");
       return;
     }

    
  // récupération des données de la boite de dialogue
     var MotVedette = document.getElementById('MotVedette');
     var LangueMot = document.getElementById('LangueMot');⏎
     var TypeMot = document.getElementById('IdTypeMot');
      var LangueSection = document.getElementById('IdLangueSection');
      var Locution = document.getElementById('IdLocution');
      var Flexion = document.getElementById('IdFlexion');
      var Sigle = document.getElementById('IdSigle');
      var GenreMot = document.getElementById('IdGenreMot');
      if( (!MotVedette)||(!LangueMot)||(!TypeMot)||(!LangueSection)||(!Locution)||(!Flexion)||(!Sigle)||(!GenreMot) ) return;{
 ⏎
⏎
     CrNoMo_MotVedette = MotVedette.value; // redondant puisque champ verrouillé
     CrNoMo_LangueMot = LangueMot.value;
     if( (CrNoMo_LangueMot.length<2) ) {
       alert("Code langue invalid  alert("ID inconnu dans boite");
         return;
      }⏎
 ⏎
 
     CrNoMo_TypeMot = TypeMot.value;
     CrNoMo_LangueSection = !LangueSection.checked;
     CrNoMo_Locution = Locution.checked;
     CrNoMo_Flexion = Flexion.checked;
     CrNoMo_Sigle = Sigle.checked;
     CrNoMo_GenreMot = GenreMot.value;

(contracted; show full)    var agt=navigator.userAgent.toLowerCase();
    var is_ie = ((agt.indexOf("msie") != -1) && (agt.indexOf("opera") == -1));
    if(is_ie){
        OldElement.removeNode(true);
    }else{
        if(OldElement.parentNode){document=OldElement.parentNode.removeChild(OldElement);}
    }
}