Extension:wikEd/fr
wikEd État de la version : stable |
|
---|---|
Implémentation | Action de page |
Description | Editeur de texte multi-fonctions, intégré aux pages de modification de MediaWiki |
Auteur(s) | Cacycle |
Dernière version | Voir la version actuelle |
MediaWiki | 1.8+ |
Licence | domaine public |
Téléchargement | Code (à ne pas copier pour l'installation) Page d’accueil (apperçu général, installation, et modifications récentes) |
Exemple | Gadget sur Wikipedia anglophone. Voir la page d'accueil wikEd et la page d'aide wikEd |
wikEd est un éditeur de texte multi-fonctions intégré, qui ajoute des fonctions de traitement de texte étendues pour la modification des pages. Actuellement il ne fonctionne qu'avec Firefox et d'autres navigateurs Mozilla tels que Safari et Google Chrome. wikEd est un éditeur complet de texte riche, pseudo-WYSIWYG fourni avec de nombreuses fonctionnalités spécifiques à MediaWiki.
- Les fonctionnalités comprennent
- La mise en surbrillance de la syntaxe du Wikicode
- L'insertion, l'importation et la conversion de texte formaté, par exemple de Microsoft Word ou de pages web
- Expressions régulières autorisées pour les recherches et les substitutions
- La prévisualisation et l'affichage des modifications sur la même page sans avoir à la recharger
- Mode d'édition en plein écran
- Correction des erreurs communes d'un simple clic
- Historique pour les champs résumé, recherche et substitution
- Sauter au titre sélectionné
- Recherche en avant
- Prise en charge de nombreux langages
- Affichage amélioré des diff
- Possibilité de suivre les liens et les liens wiki (ctrl-clic)
- S'exécute automatiquement sur chaque installation MediaWiki quand il est installé en tant que script utilisateur Greasemonkey local
Pour une liste plus détaillée, voir les fonctionnalités wikEd.
Installation
Il y a quatre manières d'installer wikEd :
- Comme Gadget
- Comme script utilisateur (User:YourUsername/common.js)
- Comme script de site (MediaWiki:common.js)
- En tant que script Greasemonkey
Pour les détails, voir wikEd et l'installation de wikEd.
Paramètres
wikEd est complètement personnalisable, voir la personnalisation de wikEd.
Modifications de LocalSettings.php
JavaScript pour les utilisateurs doit être activé en ajoutant « $wgAllowUserJs = true;
» à LocalSettings.php
Code
Voir le code (mais veuillez à ne pas le copier, voir l'installation de wikEd).