Fix for debian 12 issue (#416) that caused libraries for extensions to be uninstalled#417

Merged

williamdes merged 2 commits intophpmyadmin:masterfrom ederuiter:fix/issue-416

Jun 29, 2023

+19-6

Commits on Jun 29, 2023

Fix for debian 12 issue (phpmyadmin#416 ) that caused libraries for extensions to be uninstalled
ederuiter
committed
Added extra sanity check + better output in case of failure
ederuiter
committed