[解決済み]PHP5.3からphp7.1にしようとしたらlibphp7.soがなくて調査した話 https://www.blugrit.com/2017/11/12/php53tophp71/