Manual:$wgDiff3/de

Category:MediaWiki configuration settings/de#Diff3Category:MediaWiki configuration settings introduced in version 1.3.0/de#Diff3Category:MediaWiki configuration settings still in use/de#Diff3Category:Edit user interface variables/de#Diff3
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).

Siehe auch

Category:History and diffs/de
Category:Edit user interface variables/de Category:History and diffs/de Category:MediaWiki configuration settings/de Category:MediaWiki configuration settings introduced in version 1.3.0/de Category:MediaWiki configuration settings still in use/de