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?