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