问答一下,轻松解决,电脑应用解决专家!
主板显卡CPU内存显示器
硬盘维修显卡维修显示器维修
注册表系统命令DOS命令Win8
存储光存储鼠标键盘
内存维修打印机维修
WinXPWin7Win10/Win11
硬件综合机箱电源散热器手机数码
主板维修CPU维修键盘鼠标维修
Word教程Excel教程PowerPointWPS
网络工具系统工具图像工具
数据库javascriptLinux系统
PHP教程CSS教程XML教程

PHP7与PHP7-dev有什么区别?

更新时间:2021-12-30 12:51 作者:佚名点击:

1.apt-get的时候,这两个版本有什么区别

php7就是php7软件本身,提供php脚本执行的运行时环境(runtime)。

php7-dev是用来开发php扩展的,提供一些用来开发、编译php7扩展程序的必要php组件,一般是一些php源码的头文件和依赖库。

如果需要通过源码方式安装一些php module,比如php7-mysql,gd等,就需要安装php7-dev,如果你需要的php扩展都可以通过apt-get直接安装,大可不必安装php7-dev。

2.安装之后 ,来查看这个包里面包含哪些文件

dpkg-query -L php7-dev

感觉像是PHP7是保证所有的目前还没发现bug的稳定版,PHP7-dev就是在7之后的开发者版本。

顶一下
(0)
0%
踩一下
(0)
0%
------分隔线----------------------------
你可能感兴趣的内容