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).