Jump to content

Manual:$wgDiff3

From mediawiki.org
This page is a translated version of the page Manual:$wgDiff3 and the translation is 100% complete.
編集のユーザー インターフェイス: $wgDiff3
GNU diff3 ユーティリティへのパス。
導入されたバージョン:1.3.0
除去されたバージョン:使用中
許容される値:(絶対パス)
既定値:'/usr/bin/diff3'

詳細

GNU diff3 ユーティリティへのパスです。 ファイルが存在しない場合は、編集の競合は古い挙動 (マージ機能なし) にフォールバックします。

関連項目