Jump to content

Kézikönyv:$wgDiff

From mediawiki.org
This page is a translated version of the page Manual:$wgDiff and the translation is 100% complete.
Edit user interface: $wgDiff
Megadja a GNU difflinkeszköz helyét.
Bevezetve:1.13.0
Eltávolítva:használatban
Megengedett értékek:(abszolút útvonal)
Alapértelmezett érték:'/usr/bin/diff'

Részletek

A változó megadja a GNU difflinkeszköz helyét.

Lásd még