Handbuch:$wgDiff

From mediawiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:$wgDiff and the translation is 50% complete.
Benutzeroberfläche bearbeiten: $wgDiff
Path to the GNU diff utility.
Eingeführt in Version:1.13.0
Entfernt in Version:weiterhin vorhanden
Erlaubte Werte:(absolute path)
Standardwert:'/usr/bin/diff'

Details

Path to the GNU diff utility.

Siehe auch