Расширение MediaWiki "wikidiff2" не работает (различий нет)

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

$wgExternalDiffEngine не установлен в моем 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 расширение. Зачем?

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