1
Расширение MediaWiki «wikidiff2» не работает (различий нет)
У меня есть проблема, когда различия в MediaWiki, за которые я отвечаю , всегда пусты . $wgExternalDiffEngineне установлен в my LocalSettings.php, поэтому он должен быть установлен по falseумолчанию, то есть "wikidiff2, если доступно, реализация PHP в другом месте". Тем wikidiff2не менее, кажется, доступны. Содержание /etc/php5/mods-available/wikidiff2.ini: extension=wikidiff2.so и wikidiff2.soсуществует в /usr/lib/php5/20121212. …