我已经安装了 devserver 17 版本。它显示了 2 个 php 版本。5.6 和 7.1。我从仓库下载并安装了 php 8.1 模块。php 文件夹显示所有三个版本，但仪表板不显示版本 8.1。试图找到一些文档，看看我是否需要做一些额外的事情，但找不到。验证了 php 文件夹（eds-app-settings.php）中的 php 文件，但一切看起来都很好。这是一个错误，还是我做错了什么？
我已经安装了 devserver 17 版本。它显示了 2 个 php 版本。5.6 和 7.1。我从仓库下载并安装了 php 8.1 模块。php 文件夹显示所有三个版本，但仪表板不显示版本 8.1。试图找到一些文档，看看我是否需要做一些额外的事情，但找不到。验证了 php 文件夹（eds-app-settings.php）中的 php 文件，但一切看起来都很好。这是一个错误，还是我做错了什么？