Handbuch:$wgDiff3
| 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. If the file doesn't exist, edit conflicts will fall back to the old behavior (no merging).