Manual:$wgDiff3
Appearance
Edit user interface: $wgDiff3 | |
---|---|
Caminho para o utilitário GNU diff3. |
|
Introduzido na versão: | 1.3.0 |
Removido na versão: | ainda em uso |
Valores permitidos: | (caminho absoluto) |
Valor padrão: | '/usr/bin/diff3' |
Outras definições: Alfabético | Por função |
Detalhes
Caminho para o utilitário GNU diff3. Se o arquivo não existir, conflitos de edição voltarão para o comportamento antigo (sem fusão).