WSLにPHP7.4.xをインストールする

phpenvを使ってPHP7.4.xをインストールする*1
このとき、krb5、krb5-gssapi、onigurumaのインストールを求められることがある。
その際は、sudo apt install libkrb5-dev libonig-dev するといいだろう。

*1: WSLはUbuntu 18.04.4 LTS (Bionic Beaver)