Kézikönyv:$wgExternalDiffEngine
Content handlers and storage: $wgExternalDiffEngine | |
---|---|
A használandó külső eltérés-megjelenítő motor. |
|
Bevezetve: | 1.6.0 (r12987) |
Eltávolítva: | használatban |
Megengedett értékek: | (sztring) vagy false |
Alapértelmezett érték: | false |
Egyéb beállítások: Betűrendben | Funkció szerint |
Részletek
A változóval a használandó külső eltérés-megjelenítő motor adható meg; „false” érték esetén a belső eszköz lesz használva.
A lehetséges értékek a következők:
false
- wikidiff2 , ha elérhető; máskülönben a PHP-implementáció
- egyéb sztringek az eszközre mutató útvonalként vannak kezelve.
The following values are no longer supported as of MW 1.32:
MediaWiki-verzió: | ≤ 1.32 |
'wikidiff2'
- a Wikimédia PHP/HHVM-modulként implementált gyors megjelenítője
The following values are no longer supported as of MW 1.27:
MediaWiki-verzió: | ≤ 1.27 |
'wikidiff'
és'wikidiff3'
- a visszafelé való kompatibilitás érdekében „false”-ként vannak kezelve
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>
A beállítás felváltja a $wgUseExternalDiffEngine -t.
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';