Manual:$wgDiff
| Edit user interface: $wgDiff | |
|---|---|
| Caminho para o utilitário GNU diff. |
|
| Introduzido na versão: | 1.13.0 |
| Removido na versão: | ainda em uso |
| Valores permitidos: | (caminho absoluto) |
| Valor padrão: | '/usr/bin/diff' |
| Outras definições: Alfabético | Por função | |
Detalhes
Caminho para o utilitário GNU diff.