Manual:$wgDiff
| Edit user interface: $wgDiff | |
|---|---|
| Path to the GNU diff utility. |
|
| Introducido en la versión: | 1.13.0 |
| Eliminado en la versión: | aún se usa |
| Valores permitidos: | (absolute path) |
| Valor predeterminado: | '/usr/bin/diff' |
| Otras configuraciones: Alfabéticamente | Por Función | |
Detalles
Path to the GNU diff utility.