Manual:$wgDiff/ja

パス: $wgDiff
GNU diffユーティリティへのパス。
導入されたバージョン:	1.13.0
削除されたバージョン:	使用中
可能な値:	string
デフォルトの値:	'/usr/bin/diff'

他の設定: アルファベット順 | 機能順

詳細

GNU diff ユーティリティへのパス。