У меня есть проблема, когда различия в 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
расширения. Зачем?
Я только что унаследовал эту ответственность недавно, поэтому, к сожалению, я не знаю, как сервер перешел в состояние, в котором он находится в настоящее время. Есть идеи, что может происходить и как я могу это исправить?