Manual:$wgDiffEngine
| コンテンツ ハンドラーと記憶域: $wgDiffEngine | |
|---|---|
| 使用したい差分エンジンを指定する。 |
|
| 導入されたバージョン: | 1.34.0 (Gerrit change 548763; git #f3058c81) |
| 除去されたバージョン: | 使用中 |
| 許容される値: | string or null |
| 既定値: | null |
| その他の設定: アルファベット順 | 機能順 | |
詳細
使用したい差分エンジンを指定します。
対応している値:
- 'external' - 外部差分エンジン ($wgExternalDiffEngine で指定してください) を使用します
- 'wikidiff2' - wikidiff2 PHP 拡張機能を使用します
- 'php' - MediaWiki に含まれる PHP 実装
既定値 (null) では、利用できる最初のエンジンを使用します。