Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/HuasoFoundries/phpPgAdmin6.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'src/database/Postgres13.php')
-rw-r--r--src/database/Postgres13.php8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/database/Postgres13.php b/src/database/Postgres13.php
index d3528398..853d5b8c 100644
--- a/src/database/Postgres13.php
+++ b/src/database/Postgres13.php
@@ -16,5 +16,13 @@ namespace PHPPgAdmin\Database;
*/
class Postgres13 extends Postgres12
{
+ /**
+ * @var float
+ */
public $major_version = 13;
+
+ /**
+ * @var class-string
+ */
+ public $help_classname = \PHPPgAdmin\Help\PostgresDoc12::class;
}