Manual:$wgDiff/fr

Category:MediaWiki configuration settings/fr#DiffCategory:MediaWiki configuration settings introduced in version 1.13.0/fr#DiffCategory:MediaWiki configuration settings still in use/fr#DiffCategory:Edit user interface variables/fr#Diff
Modifier l'interface utilisateur: $wgDiff
Chemin vers l'utilitaire diff de GNU.
Introduit dans la version :1.13.0
Retiré dans la version :Encore utilisé
Valeurs autorisées :(chemin absolu)
Valeur par défaut :'/usr/bin/diff'
Autres paramètres : Alphabétique | Par fonction

Détails

Chemin vers l'utilitaire diff de GNU.

Voir aussi

Category:History and diffs/fr
Category:Edit user interface variables/fr Category:History and diffs/fr Category:MediaWiki configuration settings/fr Category:MediaWiki configuration settings introduced in version 1.13.0/fr Category:MediaWiki configuration settings still in use/fr