Manuel:$wgExternalDiffEngine

Gestionnaires de contenu et sauvegarde: $wgExternalDiffEngine
Nom du moteur diff externe à utiliser.
Introduit dans la version :	1.6.0 (r12987)
Retiré dans la version :	Encore utilisé
Valeurs autorisées :	(chaîne) ou false
Valeur par défaut :	false
Autres paramètres : Alphabétique | Par fonction

Détails

Nom du moteur diff externe à utiliser, ou false pour utiliser le moteur interne.

Les valeurs possibles sont :

• false - wikidiff2 si disponible, implémentation PHP sinon.
• toute autre chaîne est traitée comme un chemin vers un exécutable de diff externe, auquel sont donnés deux arguments de chemin de fichier.

Les valeurs suivantes ne sont plus prises en charge depuis MW 1.32 :

Version de MediaWiki :

≤ 1.32

• 'wikidiff2' - Moteur de différence rapide de Wikimedia implémenté en tant que module PHP/HHVM.

Les valeurs suivantes ne sont plus prises en charge depuis MW 1.27 :

Version de MediaWiki :

≤ 1.27

• 'wikidiff' et 'wikidiff3' - traités comme false pour la rétrocompatibilité.

Le moteur externe doit renvoyer un HTML pour une ligne de tableau contenant quatre colonnes (deux paires 'marqueur/contenu'). Celles-ci peuvent être réduites en une seule pour les formats du diff qui ne nécessitent pas de colonnes, par ex. <tr><td colspan="4"> … </td></tr>

Ce paramètre remplace $wgUseExternalDiffEngine .

Exemple

To display diffs in the format of the common GNU diff program, it is necessary to wrap that executable in a small script such as the following. This is needed both to get the required HTML wrapper, and also because diff returns non-zero when inputs don't match (which they generally don't for wiki changes).

• externaldiff.sh

  #!/bin/bash
  
  echo "<tr><td colspan=4><pre>"
  # @todo This should also escape HTML.
  diff "$1" "$2"
  DIFFRET=$?
  echo "</pre></td></tr>"
  
  if [[ $DIFFRET -eq 1 ]]; then
      exit 0
  else
      exit $DIFFRET
  fi
  

• LocalSettings.php

  $wgDiffEngine = 'external';
  $wgExternalDiffEngine = '/path/to/externaldiff.sh';
  

Voir aussi

• $wgDiffEngine