Jump to content

Handbuch:$wgDiff3

From mediawiki.org
This page is a translated version of the page Manual:$wgDiff3 and the translation is 100% complete.
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'

Details

Pfad zum GNU diff3-Dienstprogramm. Wenn die Datei nicht existiert, wird bei Bearbeitungskonflikten auf das alte Verhalten zurückgegriffen (kein Mergen).

Siehe auch