Bump min php ver to 7.2, set app ver to 7.13.0 for release

diff --git a/libraries/lib.inc.php b/libraries/lib.inc.php
index 206c593803c5f90b2580f7a81f07cd6cd3e87484..f9f803f88eb42466b7cff8e96bdd29571d2f12a8 100644 (file)
--- a/libraries/lib.inc.php
+++ b/libraries/lib.inc.php
@@ -16,11 +16,11 @@
        $appName = 'phpPgAdmin';
 
        // Application version
-       $appVersion = '7.12.1';
+       $appVersion = '7.13.0';
 
        // PostgreSQL and PHP minimum version
        $postgresqlMinVer = '7.4';
-       $phpMinVer = '7.1';
+       $phpMinVer = '7.2';
 
        // Check the version of PHP
        if (version_compare(phpversion(), $phpMinVer, '<'))