diff --git a/.devilbox/www/config.php b/.devilbox/www/config.php index a726090d..77c6c022 100644 --- a/.devilbox/www/config.php +++ b/.devilbox/www/config.php @@ -13,8 +13,8 @@ error_reporting(-1); putenv('RES_OPTIONS=retrans:1 retry:1 timeout:1 attempts:1'); -$DEVILBOX_VERSION = 'v2.2.0'; -$DEVILBOX_DATE = '2022-04-14'; +$DEVILBOX_VERSION = 'v2.3.0'; +$DEVILBOX_DATE = '2022-12-04'; $DEVILBOX_API_PAGE = 'devilbox-api/status.json'; // 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; diff --git a/.devilbox/www/include/lib/Html.php b/.devilbox/www/include/lib/Html.php index f74304b6..5a78174c 100644 --- a/.devilbox/www/include/lib/Html.php +++ b/.devilbox/www/include/lib/Html.php @@ -263,7 +263,7 @@ HTML;