PHPのバージョンを7.1から7.3に上げたので手順を公開 https://www.blugrit.com/2019/08/26/php71to73/