Manual:$wgDiff3/pt-br

Category:MediaWiki configuration settings/pt-br#Diff3Category:MediaWiki configuration settings introduced in version 1.3.0/pt-br#Diff3Category:MediaWiki configuration settings still in use/pt-br#Diff3Category:Edit user interface variables/pt-br#Diff3
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'

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).

Ver também

Category:History and diffs/pt-br
Category:Edit user interface variables/pt-br Category:History and diffs/pt-br Category:MediaWiki configuration settings/pt-br Category:MediaWiki configuration settings introduced in version 1.3.0/pt-br Category:MediaWiki configuration settings still in use/pt-br