Manual:$wgDiff3
| Gebruikersinterface aanpassen: $wgDiff3 | |
|---|---|
| Pad naar de GNU diff3 utility. |
|
| Geïntroduceerd in versie: | 1.3.0 |
| Verwijderd in versie: | nog steeds in gebruik |
| Toegelaten waardes: | (absoluut pad) |
| Standaardwaarde: | '/usr/bin/diff3' |
| Andere instellingen: Alfabetisch | Per functie | |
Details
Pad naar de GNU diff3 utility. Als het bestand niet bestaat, zullen bewerkingsconflicten terugvallen op het oude gedrag (geen samenvoeging).