Prepare for 4.7.3-dev

Signed-off-by: Isaac Bennetch <bennetch@gmail.com>

ChangeLog

@@ -1,6 +1,8 @@
 phpMyAdmin - ChangeLog
 ======================
 
+4.7.3 (not yet released)
+
 4.7.2 (2017-06-29)
 - issue #13314 Make theme selection keep current server
 - issue #13311 Fixed direct login for accounts without password

README

@@ -1,7 +1,7 @@
 phpMyAdmin - Readme
 ===================
 
-Version 4.7.2
+Version 4.7.3-dev
 
 A web interface for MySQL and MariaDB.
 

doc/conf.py

@@ -51,7 +51,7 @@ copyright = u'2012 - 2017, The phpMyAdmin devel team'
 # built documents.
 #
 # The short X.Y version.
-version = '4.7.2'
+version = '4.7.3-dev'
 # The full version, including alpha/beta/rc tags.
 release = version
 

libraries/Config.php

@@ -103,7 +103,7 @@ class Config
      */
     public function checkSystem()
     {
-        $this->set('PMA_VERSION', '4.7.2');
+        $this->set('PMA_VERSION', '4.7.3-dev');
         /**
          * @deprecated
          */