Perte de xdebug après upgrade ubuntu 20.04

Bonjour,

J'avais une installation qui fonctionnait bien jusque sous 19.10 mais l'upgrade à 20.04 m'a cassé pas mal de chose dont mon installation de xdebug sous php7.3-fpm.

Je constate que php7.4 a été installé par défaut. Je ne suis pas forcément prêt à ce passage.

Les sites jusque là paramétrés pour utiliser php7.3-fpm fonctionnent toujours mais le module xdebug ne fonctionne plus.

J'ai retrouvé xdebug.ini dans /etc/php/7.3/fpm/mods-available renommé en xdebug.ini.dpkg-bak

J'ai rétabli la config et relancé les services:

~# ll /etc/php/7.3/mods-available/xdebug.ini
-rw-r--r-- 1 root root 204 déc.  10 00:15 /etc/php/7.3/mods-available/xdebug.ini
~# ll /etc/php/7.3/fpm/conf.d/20-xdebug.ini 
lrwxrwxrwx 1 root root 38 déc.  10 00:12 /etc/php/7.3/fpm/conf.d/20-xdebug.ini -> /etc/php/7.3/mods-available/xdebug.ini
~# systemctl reload php7.3-fpm
~# cat /etc/php/7.3/fpm/conf.d/20-xdebug.ini
#zend_extension=/usr/lib/php/20190902/xdebug.so
zend_extension=xdebug.so
xdebug.remote_enable=1
xdebug.remote_handler=dbgp
xdebug.remote_mode=req
xdebug.remote_port=9000

et j'obtiens le message d'erreur suivant dans php7.3-fpm.log:

PHP message: PHP Warning:  Failed loading Zend extension 'xdebug.so' (tried: /usr/lib/php/20180731/xdebug.so (/usr/lib/php/20180731/xdebug.so: cannot open shared object file: No such file or directory)

Après réinstallation complète d'après https://pixelspress.com/how-to-install-apache2-on-ubuntu-16-04-18-04-18-10/ … ntu-19-10/ (pas trouvé pour 20.04), le message d'erreur change:

# systemctl reload php7.3-fpm
...
Failed loading /usr/lib/php/20190902/xdebug.so:  /usr/lib/php/20190902/xdebug.so: undefined symbol: zend_get_properties_for