A extensão “wikidiff2” do Mediawiki não funciona (os diffs estão vazios)

0

Eu tenho um problema onde o diffs em um MediaWiki que eu sou responsável por estão sempre vazios .

$wgExternalDiffEngine não está definido no meu LocalSettings.php , então deve ser padronizado para false , que é "wikidiff2 se disponível, implementação do PHP mais."

No entanto, wikidiff2 aparece para estar disponível. O conteúdo de /etc/php5/mods-available/wikidiff2.ini é:

extension=wikidiff2.so

e wikidiff2.so existem em /usr/lib/php5/20121212 .

Se eu for a Special:Version , em "Extensões instaladas", há "Wikidiff2 (versão)". Então, isso sugere que ele está instalado, mas de alguma forma não está funcionando, já que não é possível identificar qual versão ele é.

Ativei o registro em log e, em seguida, examinei o arquivo de log e vi:

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'

Isso sugere que, de alguma forma, ele está tentando executar um executável chamado wikidiff2 , em vez de usar a extensão wikidiff2.so . Por quê?

Acabei de herdar essa responsabilidade recentemente, então infelizmente não sei como o servidor entrou no estado em que está atualmente. Alguma idéia do que pode estar acontecendo e como posso corrigi-lo?

    
por user31708 02.11.2016 / 16:57

1 resposta

0

Eu consertei isso colocando:

$wgExternalDiffEngine = false;

em LocalSettings.php . Isso me intriga, já que não estava sendo definido em LocalSettings.php e false deveria ser o padrão. Mas eu acho que estava sendo definido em outro lugar?

    
por 03.11.2016 / 21:59