Jump to content

Manuel:$wgDiffEngine

From mediawiki.org
This page is a translated version of the page Manual:$wgDiffEngine and the translation is 100% complete.
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

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.