在安装 php-dev 前,需要确保已安装正确的版本的 PHP。具体来说,避免使用 apt-get 或 yum 等包管理器直接安装 php-dev,而是使用以下步骤手动配置:
添加 Ondřej Surý 的 PHP 库
sudo add-apt-repository ppa:ondrej/php
sudo apt-get update
安装 PHP 7.3
sudo apt-get install php7.3
安装 php-dev
sudo apt-get install php7.3-dev
这将安装正确版本的 php-dev,并解决版本不匹配的问题。