Mediawiki-Erweiterung "wikidiff2" funktioniert nicht (Unterschiede sind leer)

401
user31708

Ich habe ein Problem, bei dem die Unterschiede in einem MediaWiki, für das ich verantwortlich bin, immer leer sind .

$wgExternalDiffEngineist in meinem nicht gesetzt LocalSettings.php, also sollte es falsestandardmäßig sein, was "wikidiff2, falls verfügbar, PHP-Implementierung sonst" ist.

Jedoch wikidiff2nicht erscheinen verfügbar sein. Die Inhalte von /etc/php5/mods-available/wikidiff2.inisind:

extension=wikidiff2.so

und wikidiff2.soexistiert in /usr/lib/php5/20121212.

Wenn ich Special:Versionunter "Installierte Erweiterungen" gehe, gibt es "Wikidiff2 (Version)". Das deutet darauf hin, dass es installiert ist, aber irgendwie nicht funktioniert, da es nicht einmal erkennen kann, welche Version es ist.

Ich habe die Protokollierung aktiviert und dann in die Protokolldatei geschaut und sah:

wfShellExec: 'wikidiff2' '/home/web/wikidata/upload/tmp/diff_f9tuWC' '/home/web/wikidata/upload/tmp/diff_TsMWXK' Possibly missing executable file: 'wikidiff2' '/home/web/wikidata/upload/tmp/diff_f9tuWC' '/home/web/wikidata/upload/tmp/diff_TsMWXK'

Das deutet darauf hin, dass es irgendwie versucht, eine ausführbare Datei auszuführen wikidiff2, anstatt die wikidiff2.soErweiterung zu verwenden. Warum?

Ich habe diese Verantwortung erst vor kurzem geerbt, daher weiß ich leider nicht, wie der Server in den Status gelangt ist, in dem er sich gerade befindet. Irgendwelche Ideen, was los ist und wie kann ich das beheben?

0

1 Antwort auf die Frage

0
user31708

Ich habe das behoben, indem ich:

$wgExternalDiffEngine = false;

in LocalSettings.php. Das verwirrt mich, da es nicht gesetzt LocalSettings.phpwurde und falseder Standard sein sollte. Aber ich denke, es wurde woanders eingestellt?

Verwandte Probleme