Manual:$wgDiffEngine/fr
| Gestionnaires de contenu et sauvegarde: $wgDiffEngine | |
|---|---|
| Spécifiez le moteur de différence à utiliser. |
|
| Introduit dans la version : | 1.34.0 (Gerrit change 548763; git #f3058c81) |
| Retiré dans la version : | Encore utilisé |
| Valeurs autorisées : | string or null |
| Valeur par défaut : | null |
| Autres paramètres : Alphabétique | Par fonction | |
Détails
Spécifiez le moteur de différence à utiliser.
Valeurs prises en charge:
- 'external' - Use an external diff engine, which must be specified via $wgExternalDiffEngine
- 'wikidiff2' - Utilisez l’extension wikidiff2 PHP
- 'php' - Implémentations PHP incluses dans MediaWiki
La valeur par défaut (null) est d’utiliser le premier moteur disponible.