我有一个问题，我负责的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扩展名。为什么？
我最近刚刚继承了这个职责，所以不幸的是我不知道服务器是如何进入目前的状态的。任何想法可能会发生什么，以及我如何解决它？