Jump to content

Handbuch:$wgExternalDiffEngine

From mediawiki.org
This page is a translated version of the page Manual:$wgExternalDiffEngine and the translation is 35% complete.
Inhalts-Handler und Speicher: $wgExternalDiffEngine
Name of the external diff engine to use.
Eingeführt in Version:1.6.0 (r12987)
Entfernt in Version:weiterhin vorhanden
Erlaubte Werte:(Zeichenkette) oder false
Standardwert:false

Details

Name of the external diff engine to use, or false to use the internal engine.

Die möglichen Werte sind:

  • false - wikidiff2 if available, PHP implementation else.
  • any other string is treated as a path to external diff executable, which is passed two file-path arguments.

The following values are no longer supported as of MW 1.32:

MediaWiki Version:
1.32
  • 'wikidiff2' - Wikimedia's fast difference engine implemented as a PHP/HHVM module.

The following values are no longer supported as of MW 1.27:

MediaWiki Version:
1.27
  • 'wikidiff' und 'wikidiff3' - treated as false for backwards compatibility.

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>

Diese Einstellung ersetzt $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';
    

Siehe auch