如何将其他PHP版本添加到EasyPHP DevServer

Question

我在Windows 10机器上启动并运行了EasyPHP DevServer 17。我目前在C:\EasyPHP目录中安装了EasyPHP环境。从服务器设置中可以看到，我有两个选择PHP版本的选项：

5.6.30 x86和7.1.3 x86

如何向列表中添加第三个选项？ PHP 7.3 x86？

• 是否需要重新安装EasyPHP DevServer的全新实例才能实现此目的？
• 我是否可以简单地在线下载线程安全的PHP7.X程序包并将其粘贴在eds-binaries目录中的某个位置并重新启动？

我做了几次尝试，但都失败了。最好的技术步骤是什么？

谢谢！