Manual:$wgDiff3/es

Category:MediaWiki configuration settings/es#Diff3Category:MediaWiki configuration settings introduced in version 1.3.0/es#Diff3Category:MediaWiki configuration settings still in use/es#Diff3Category:Edit user interface variables/es#Diff3
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'
Otras configuraciones: Alfabéticamente | Por Función

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

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