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.