Manual:$wgDiffEngine

From mediawiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:$wgDiffEngine and the translation is 100% complete.
Other languages:
English • ‎français • ‎polski • ‎العربية • ‎日本語
その他の設定: $wgDiffEngine
使用したい差分エンジンを指定する。
導入されたバージョン:1.34.0 (r549088)(git #f3058c81)
除去されたバージョン:使用中
許容される値:string or null
既定値:null

詳細

使用したい差分エンジンを指定します。

対応している値:

  • 'external' - 外部差分エンジン ($wgExternalDiffEngine で指定してください) を使用します
  • 'wikidiff2' - wikidiff2 PHP エクステンションを使用します
  • 'php' - MediaWiki に含まれる PHP 実装

既定値 (null) では、利用できる最初のエンジンを使用します。