Jump to content

Manuel:$wgDiff3

From mediawiki.org
This page is a translated version of the page Manual:$wgDiff3 and the translation is 100% complete.
Modifier l'interface utilisateur: $wgDiff3
Chemin vers l'utilitaire diff3 de GNU.
Introduit dans la version :1.3.0
Retiré dans la version :Encore utilisé
Valeurs autorisées :(chemin absolu)
Valeur par défaut :'/usr/bin/diff3'

Détails

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

Voir aussi