Mediawiki扩展“wikidiff2”无效(差异为空)


0

我有一个问题,我负责的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扩展名。为什么?

我最近刚刚继承了这个职责,所以不幸的是我不知道服务器是如何进入目前的状态的。任何想法可能会发生什么,以及我如何解决它?

Answers:


0

我修正了这个:

$wgExternalDiffEngine = false;

LocalSettings.php。这让我很困惑,因为它没有被设置LocalSettings.php,并且false应该是默认的。但我想它正被置于其他地方?

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.