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 commefalse
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';