Manüel:$wgDiff3
Appearance
Kullanıcı arayüzü düzenleme: $wgDiff3 | |
---|---|
GNU diff3 yardımcı programına giden yol. |
|
Sürümde tanıtıldı: | 1.3.0 |
Sürümde kaldırıldı: | hala kullanımda |
İzin verilen değerler: | (kesin yol) |
Varsayılan değer: | '/usr/bin/diff3' |
Diğer ayarlar: Alfabetik | İşlevsel olarak |
Ayrıntılar
GNU diff3 yardımcı programına giden yol. Dosya yoksa, düzenleme çakışmaları eski davranışa geri döner (birleştirme olmaz).