upgrade version info to 5.0-dev

diff --git a/libraries/lib.inc.php b/libraries/lib.inc.php
index fe2d9e6cae1449b17b6e696b2e77f290f64bfe7c..3cc9e284c4f5c283aae562e9a4e0affd77f85946 100644 (file)
--- a/libraries/lib.inc.php
+++ b/libraries/lib.inc.php
@@ -16,7 +16,7 @@
        $appName = 'phpPgAdmin';
 
        // Application version
-       $appVersion = '4.2';
+       $appVersion = '5.0-dev';
 
        // PostgreSQL and PHP minimum version
        $postgresqlMinVer = '7.0';