手册:$wgExternalDiffEngine
Outdated translations are marked like this.
内容处理程序和存储: $wgExternalDiffEngine | |
---|---|
要使用的外部差异引擎的名称。 |
|
引进版本: | 1.6.0 (r12987) |
移除版本: | 仍在使用 |
允许的值: | (字符串)或false |
默认值: | false |
其他设置: 按首字母排序 | 按功能排序 |
细节
要使用的外部差异引擎的名称,或设置为false以使用内部引擎。
可能的值:
false
- 如果可用的话,使用wikidiff2 ,否则使用PHP实现。
- 任何其他字符串都被视为外部差异可执行文件的路径。
The following values are no longer supported as of MW 1.32:
MediaWiki版本: | ≤ 1.32 |
'wikidiff2'
- 作为PHP/HHVM模块实现的维基媒体的快速差分引擎。
The following values are no longer supported as of MW 1.27:
MediaWiki版本: | ≤ 1.27 |
'wikidiff'
和'wikidiff3'
- 被视为false,以向后兼容。
The external engine should return HTML for a table row containing four columns (two 'marker/content' pairs).
These can be collapsed into one for diff formats that don't require columns, e.g. <tr><td colspan="4"> … </td></tr>
此设置代替了$wgUseExternalDiffEngine 。
Example
To display diffs in the format of the common GNU diff
program, it is necessary to wrap that executable in a small script such as the following.
This is needed both to get the required HTML wrapper, and also because diff
returns non-zero when inputs don't match (which they generally don't for wiki changes).
- externaldiff.sh
#!/bin/bash echo "<tr><td colspan=4><pre>" # @todo This should also escape HTML. diff "$1" "$2" DIFFRET=$? echo "</pre></td></tr>" if [[ $DIFFRET -eq 1 ]]; then exit 0 else exit $DIFFRET fi
- LocalSettings.php
$wgDiffEngine = 'external'; $wgExternalDiffEngine = '/path/to/externaldiff.sh';