Mark HEAD as 5.1-dev

diff --git a/libraries/lib.inc.php b/libraries/lib.inc.php
index 2bf295d9de4be3f9e3ea3cae1233b409f89c930d..250d1bf320661e56c588175370d537c7f7c78bc5 100644 (file)
--- a/libraries/lib.inc.php
+++ b/libraries/lib.inc.php
@@ -16,7 +16,7 @@
        $appName = 'phpPgAdmin';
 
        // Application version
-       $appVersion = '5.0';
+       $appVersion = '5.1-dev';
 
        // PostgreSQL and PHP minimum version
        $postgresqlMinVer = '7.4';