Gadgets

icône information Les gadgets permettent d’ajouter des fonctionnalités au Wiktionnaire, afin de mieux adapter ses possibilités aux besoins de ses utilisateurs.

À quoi ça sert, et à qui

modifier

Certains gadgets facilitent la modification des pages (ajout de catégories, de caractères spéciaux). D’autres améliorent l’affichage de certaines pages, comme les pages d’historique.

Comment les activer

modifier

Pour voir les gadgets disponibles et les utiliser sur le Wiktionnaire, il vous faut aller dans votre page de préférences (vous devez pour cela être inscrit). Cliquez ensuite sur l’onglet Gadgets et cochez les cases des gadgets qui vous intéressent.

En principe, les changements prennent effet à la prochaine page affichée. Mais il se peut que vous ayez à forcer le vidage de votre cache (avec CTRL+F5 sur la plupart des navigateurs).

Définitions des gadgets disponibles

modifier

Les gadgets mis à la disposition des utilisateur·ices sont définis sur MediaWiki:Gadgets-definition, qui est une page uniquement modifiable par les administrateur·ices : en conséquence, si vous voulez ajouter (ou supprimer) un gadget au Wiktionnaire, il faut demander sur Wiktionnaire:Demandes aux administrateurs.

Voir aussi

modifier