Расширение Mediawiki "wikidiff2" не работает (различий пустые)

282
user31708

У меня есть проблема, когда различия в MediaWiki, за которые я отвечаю , всегда пусты .

$wgExternalDiffEngineне установлен в my LocalSettings.php, поэтому он должен быть установлен по falseумолчанию, то есть "wikidiff2, если доступно, реализация PHP в другом месте".

Тем wikidiff2не менее, кажется, доступны. Содержание /etc/php5/mods-available/wikidiff2.ini:

extension=wikidiff2.so 

и wikidiff2.soсуществует в /usr/lib/php5/20121212.

Если я Special:Versionзайду в раздел «Установленные расширения», там будет «Wikidiff2 (Версия)». Это говорит о том, что он установлен, но почему-то не работает, поскольку не может даже определить, какая это версия.

Я включил ведение журнала, а затем заглянул в файл журнала и увидел:

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' 

Это говорит о том, что каким-то образом он пытается запустить исполняемый файл с именем wikidiff2, а не с помощью wikidiff2.soрасширения. Зачем?

Я только что унаследовал эту ответственность недавно, поэтому, к сожалению, я не знаю, как сервер перешел в состояние, в котором он находится в настоящее время. Есть идеи, что может происходить, и как я могу это исправить?

0

1 ответ на вопрос

0
user31708

Я исправил это, добавив:

$wgExternalDiffEngine = false; 

в LocalSettings.php. Это озадачивает меня, так как он не был установлен LocalSettings.php, и falseпредполагается, что по умолчанию. Но я предполагаю, что это было установлено где-то еще?