diff --git a/.devilbox/www/htdocs/vendor/phppgadmin-7.13.0/classes/database/Connection.php b/.devilbox/www/htdocs/vendor/phppgadmin-7.13.0/classes/database/Connection.php index f7b44f41..d8377fc1 100644 --- a/.devilbox/www/htdocs/vendor/phppgadmin-7.13.0/classes/database/Connection.php +++ b/.devilbox/www/htdocs/vendor/phppgadmin-7.13.0/classes/database/Connection.php @@ -76,6 +76,7 @@ class Connection { // Detect version and choose appropriate database driver switch (substr($version,0,2)) { + case '15': return 'Postgres';break; case '14': return 'Postgres';break; case '13': return 'Postgres13';break; case '12': return 'Postgres12';break;