标签： ubuntu18.04

升级服务器到 Ubuntu 18.04 后，php 的源也升级到 7.2，此时 php7.1 的一些模块已经没…