Bah quand on essaie de charger un fichier dll sur une Debian, c’est qu’il y a de sacrés problèmes de configuration…
Encore une fois fait le ménage sur ton système et utilise les dépôts officiels Debian (avec PHP7.3) : Installation de Php 7.3 - #7 par anon29980398