Под управлением Ubuntu 19.10 с установленным MediaWiki 1.31.1. У меня есть Wiki, которая работала хорошо в соответствии с Ubuntu 19.04, но говорит MediaWiki 1.31 внутренняя ошибка
Установка некоторых расширений PHP требуется. Необходимые компоненты
Вы пропускаете необходимое расширение PHP, которого MediaWiki требует для выполнения. Установите:
xml (more information)
хотя xml загружается для PHP 7.3. Но для 7,2, который также установлен, не загружается xml. Я предполагаю, что тот MediaWiki использует 7.2. Как я могу определить используемую версию? И если это - несправедливость, как это изменяется?
Для получения что используемая версия создайте и откройте в браузере php файл с этим содержанием
<? phpinfo();
Устанавливать xml для 7,2:
sudo apt-get install php7.2-xml