Manual:$wgDiff3/fr
From Linux Web Expert
| <translate> Edit user interface</translate>: $wgDiff3 | |
|---|---|
| Chemin vers l'utilitaire diff3 de GNU. |
|
| <translate> Introduced in version:</translate> | 1.3.0 |
| <translate> Removed in version:</translate> | <translate> still in use</translate> |
| <translate> Allowed values:</translate> | (chemin absolu) |
| <translate> Default value:</translate> | '/usr/bin/diff3' |
| <translate> Other settings:</translate> <translate> Alphabetical</translate> | <translate> By function</translate> | |
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).
