Howto: PHP 7.2 & 7.3 on Debian stretch/9 - using phpswitcher 4.0.3