Manual:$wgDiff3/ja

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

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

詳細

GNU diff3ユーティリティへのパス。 ファイルが存在していないと、編集のコンフリクトは古いほうの動作(合併しない)へフォールバックするでしょう。