===> Cleaning for php73-phppgadmin-7.13.0