Manuel:$wgDiff3
Jump to navigation
Jump to search
URLs et chemins de fichiers: $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' |
Autres paramètres : Alphabétique | Par Fonction |
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).