Manual:$wgDiff3

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

Details

Pad naar de GNU diff3 utility. Als het bestand niet bestaat, zullen bewerkingsconflicten terugvallen op het oude gedrag (geen samenvoeging).

Zie ook