Manual:$wgExternalDiffEngine
その他の設定: $wgExternalDiffEngine | |
---|---|
使用する外部差分エンジンの名前。 |
|
導入されたバージョン: | 1.6.0 (r12987) |
除去されたバージョン: | 使用中 |
許容される値: | (文字列) または false |
既定値: | false |
その他の設定: アルファベット順 | 機能順 |
詳細
使用する外部差分エンジンの名前です。内部エンジンを使用するには false を設定します。
The possible values are:
- false: wikidiff2 if available, PHP implementation else.
- wikidiff2: Wikimedia's fast difference engine implemented as a PHP/HHVM module.
- wikidiff and wikidiff3 are treated as false for backwards compatibility.
- any other string is treated as a path to external diff executable.
This setting replaces $wgUseExternalDiffEngine .