Manual:$wgDiff3
Appearance
編集のユーザー インターフェイス: $wgDiff3 | |
---|---|
GNU diff3 ユーティリティへのパス。 |
|
導入されたバージョン: | 1.3.0 |
除去されたバージョン: | 使用中 |
許容される値: | (絶対パス) |
既定値: | '/usr/bin/diff3' |
その他の設定: アルファベット順 | 機能順 |
詳細
GNU diff3 ユーティリティへのパスです。 ファイルが存在しない場合は、編集の競合は古い挙動 (マージ機能なし) にフォールバックします。