运行安装了 MediaWiki 1.31.1 的 Ubuntu 19.10。我有一个在 Ubuntu 19.04 下运行良好的 wiki，但显示 MediaWiki 1.31 内部错误
需要安装一些 PHP 扩展。所需组件
您缺少 MediaWiki 运行所需的 PHP 扩展。请安装：
xml (more information)
虽然 PHP 7.3 已加载 xml。但对于同样已安装的 7.2，xml 未加载。我猜 MediaWiki 使用的是 7.2。我如何确定使用的版本？如果是错误的，如何更改？
答案1
要获取使用的版本，请在浏览器中创建并打开包含以下内容的 php 文件
<? phpinfo();
要安装 7.2 版的 xml：
sudo apt-get install php7.2-xml