I upgraded just a Debian server from Stretch to Buster. Now I notice there are both PHP 7.0 and PHP 7.3 installed. Is it supposed to be this way? I have not found documentation about PHP upgrades. I have mediawiki websites on that hosts, nono of them work now. Static websites and ikiwiki work OK.