===> Cleaning for php74-phppgadmin-7.13.0