Context: I am using a Windows computer but developping on Ubuntu 20.04 thanks to the WSL (Windows Subsystem for Linux). When I Install php using the apt package system, I get by default the 7.4.1 version, and it is the only version available in the sources (use apt-search to get the available packages). Getting the…