Manual:$wgDiff/pt-br
From Linux Web Expert
<translate> Edit user interface</translate>: $wgDiff | |
---|---|
Caminho para o utilitário GNU diff. |
|
<translate> Introduced in version:</translate> | 1.13.0 |
<translate> Removed in version:</translate> | <translate> still in use</translate> |
<translate> Allowed values:</translate> | (caminho absoluto) |
<translate> Default value:</translate> | '/usr/bin/diff' |
<translate> Other settings:</translate> <translate> Alphabetical</translate> | <translate> By function</translate> |
Detalhes
Caminho para o utilitário GNU diff.