Windows 10 WSL und Ubuntu 20.04.1 – PHP 7.3 / 7.2 installieren
Wer ältere PHP Versionen in Ubuntu 18.04 benötigt, muss im Paketmanager die fehlenden Quellen ergänzen um PHP 7.2 / 7.3 sowie deren Erweiterungen installieren zu können. Dazu ergänzen wir die Datei mit drei Einträgen: Anschließend ein „sudo apt update“ um…
