Jump to content

Manual:$wgDiff3

From mediawiki.org
This page is a translated version of the page Manual:$wgDiff3 and the translation is 43% complete.
Edit user interface: $wgDiff3
Path to the GNU diff3 utility.
Introducido en la versión:1.3.0
Eliminado en la versión:aún se usa
Valores permitidos:(absolute path)
Valor predeterminado:'/usr/bin/diff3'

Detalles

Path to the GNU diff3 utility. If the file doesn't exist, edit conflicts will fall back to the old behavior (no merging).

Véase también