Jump to: navigation, search
Translate this page; This page contains changes which are not marked for translation.

Other languages:
Deutsch • ‎English • ‎español • ‎français • ‎italiano • ‎日本語 • ‎polski • ‎português • ‎português do Brasil • ‎русский
Paths: $wgDiff
Path to the GNU diff utility.
Introduced in version: 1.13.0
Removed in version: still in use
Allowed values: absolute path
Default value: '/usr/bin/diff'
Other settings: Alphabetical | By function


Path to the GNU diff utility.

See also[edit]