Manual:$wgDiff3
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).