ubuntu 18.0:更換php版本

最近用ubuntu18.0,php升到7.2發現有些問題,因此換回7.1

更換方法:

參考:https://tecadmin.net/switch-between-multiple-php-version-on-ubuntu/