Edit requests of ppa:ondrej/php でインストールしたPHPの設定を変更するメモ書き