Manual:$wgDiff/ja

From MediaWiki.org

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

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

[edit] 詳細

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