![如何确定 MediaWiki 正在使用的 PHP 版本?](https://linux22.com/image/920770/%E5%A6%82%E4%BD%95%E7%A1%AE%E5%AE%9A%20MediaWiki%20%E6%AD%A3%E5%9C%A8%E4%BD%BF%E7%94%A8%E7%9A%84%20PHP%20%E7%89%88%E6%9C%AC%EF%BC%9F.png)
运行安装了 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