diff options
author | Felipe Figueroa <amenadiel@gmail.com> | 2018-11-13 20:42:37 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-13 20:42:37 +0300 |
commit | 4be14949b445a4953a5e77c154c4013139e1c63d (patch) | |
tree | 2000428345a65fa6e25edb24ad4074c5503bb215 | |
parent | d782640f5ec561d9088facb2bd162c37b4917fdb (diff) | |
parent | f67a1c9cb77137f8ee15ef6abfb2d251647f20e5 (diff) |
Merge pull request #210 from abbychau/develop
Add postgres 11 support
-rw-r--r-- | src/database/Connection.php | 5 | ||||
-rw-r--r-- | src/database/Postgres11.php | 18 |
2 files changed, 21 insertions, 2 deletions
diff --git a/src/database/Connection.php b/src/database/Connection.php index a4500ccd..c6156f79 100644 --- a/src/database/Connection.php +++ b/src/database/Connection.php @@ -27,6 +27,7 @@ class Connection protected $server_info; protected $version_dictionary = [ + '11' => 'Postgres11', '10' => 'Postgres10', '9.7' => 'Postgres96', '9.6' => 'Postgres96', @@ -144,8 +145,8 @@ class Connection $version_parts = explode('.', $version); - if ($version_parts[0] == '10') { - $major_version = '10'; + if (in_array($version_parts[0], ['10','11'])) { + $major_version = $version_parts[0]; } else { $major_version = implode('.', [$version_parts[0], $version_parts[1]]); } diff --git a/src/database/Postgres11.php b/src/database/Postgres11.php new file mode 100644 index 00000000..c6ab4cf6 --- /dev/null +++ b/src/database/Postgres11.php @@ -0,0 +1,18 @@ +<?php +/** + * PHPPgAdmin v6.0.0-beta.49 + */ +namespace PHPPgAdmin\Database; + +/** + * @file + * PostgreSQL 11.x support + * + */ +/** + * Class to add support for Postgres10. + */ +class Postgres11 extends Postgres10 +{ + public $major_version = 11; +} |