Manual:$wgExternalDiffEngine
コンテンツ ハンドラーと記憶域: $wgExternalDiffEngine | |
---|---|
使用する外部差分エンジンの名前。 |
|
導入されたバージョン: | 1.6.0 (r12987) |
除去されたバージョン: | 使用中 |
許容される値: | (文字列) または false |
既定値: | false |
その他の設定: アルファベット順 | 機能順 |
詳細
使用する外部差分エンジンの名前です。内部エンジンを使用するには false を設定します。
取りうる値:
false
- 利用できる場合は wikidiff2 、それ以外は PHP 実装。'wikidiff2'
- PHP/HHVM モジュールとして実装された、ウィキメディアの高速差分エンジン。'wikidiff'
および'wikidiff3'
- 後方互換性のため false として扱われます。- それ以外の文字列は外部差分の実行可能ファイルのパスとして扱われます。
This setting replaces $wgUseExternalDiffEngine .