Jump to content

Manual:$wgDiff

From mediawiki.org
This page is a translated version of the page Manual:$wgDiff and the translation is 100% complete.
Gebruikersinterface aanpassen: $wgDiff
Pad naar de GNU diff utility.
Geïntroduceerd in versie:1.13.0
Verwijderd in versie:nog steeds in gebruik
Toegelaten waardes:(absoluut pad)
Standaardwaarde:'/usr/bin/diff'

Details

Pad naar de GNU diff utility.

Zie ook