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