Manual:$wgDiff/pt-br

From Linux Web Expert

Revision as of 02:24, 6 December 2023 by imported>FuzzyBot (Updating to match new version of source page)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

<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'

Detalhes

Caminho para o utilitário GNU diff.

Ver também