10 Résultats trouvés pour "MediaWiki:Vector.js".

MediaWiki:Gadget-Common-edit.js

} /* * Utilisation : * * Utilisateur:Kiminou1/common.js * Utilisateur:Kiminou1/vector.js */ function addCharSubsetMenu() { var specialchars =...


MediaWiki:Gadget-vectorOutilsAPI.js

Wiktionnaire|vectorOutilsAPI.js]] // Ce gadget ajoute la liste des caractères API utilisés en français standard // à la barre d'outils de vector // Liste...


MediaWiki:Gadget-OldSearchBox.js

//[[Catégorie:JavaScript du Wiktionnaire|OldSearchBox.js]] // Remplace la nouvelle barre de recherche de vector par la barre "classique" : [Lire][Rechercher]...


MediaWiki:Gadgets-definition

util]|adddefinition.js WiktSidebarTranslation[ResourceLoader|skins=monobook,vector,timeless]|WiktSidebarTranslation.js dictionaryLookupHover[Res...


MediaWiki:Gadget-interProjets.js

//[[Catégorie:JavaScript du Wiktionnaire|interProjets.js]] /** * Extrait et affiche la liste * des liens interprojets présents dans la page. * auteur...


MediaWiki:Gadget-SisterProjects.js

[ 'www.wikidata', 'Wikidata' ] ]; isVector = ( mw.config.get( 'skin' ) === 'vector' ); path = mw.util.getUrl( mw.config.get( 'wgNamespaceNumber'...


MediaWiki:Gadget-LastContrib.js

//[[Catégorie:JavaScript du Wiktionnaire|LastContrib.js]] /** * '''Dernière contribution''' * * Indique au chargement de la page si la page a été édité...


MediaWiki:Gadget-OptimizedSuivi.js

//[[Catégorie:JavaScript du Wiktionnaire|OptimizedSuivi.js]] /** * Suivi Deluxe * * Retirer des pages de sa liste de suivi plus facilement * * Auteur...


MediaWiki:Gadget-Accessibility.js

$("head").append(link); if(skin=='vector'){ $('#p-navigation').after('<div id="p-accessibility" class="vector-menu-portal"><h5><span>Accessibilité</span></h5><a...


MediaWiki:Gadget-nearbypages.js

// [[Catégorie:JavaScript du Wiktionnaire|nearbypages.js]] function WiktNearby() { this.alwaysLeftToRight = mw.cookie.get('WiktNearbyAlwaysLTR') == "true";...