Handbuch:$wgDiff3
Appearance
Benutzeroberfläche bearbeiten: $wgDiff3 | |
---|---|
Pfad zum GNU diff3-Dienstprogramm. |
|
Eingeführt in Version: | 1.3.0 |
Entfernt in Version: | Weiterhin vorhanden |
Erlaubte Werte: | (absoluter Pfad) |
Standardwert: | '/usr/bin/diff3' |
Andere Einstellungen: Alphabetisch | Nach Funktion |
Details
Pfad zum GNU diff3-Dienstprogramm. Wenn die Datei nicht existiert, wird bei Bearbeitungskonflikten auf das alte Verhalten zurückgegriffen (kein Mergen).