Как я могу определить версию PHP, которую использует MediaWiki?

Под управлением 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. Как я могу определить используемую версию? И если это - несправедливость, как это изменяется?

1
задан 7 February 2020 в 14:28

1 ответ

Для получения что используемая версия создайте и откройте в браузере php файл с этим содержанием

<? phpinfo();

Устанавливать xml для 7,2:

sudo apt-get install php7.2-xml
1
ответ дан 20 February 2020 в 22:58

Другие вопросы по тегам:

Похожие вопросы: