Manual:$wgDiff3/fr

Détails
Chemin vers l'utilitaire GNU diff3. Si le fichier n'existe pas, les conflits d'édition se rabattront sur l'ancien comportement (pas de fusion).

Voir aussi

 * $wgDiff