Manual:$wgDiff3
| 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).