diff --git a/ChangeLog b/ChangeLog index 89b47508a3..d74ae3799c 100644 --- a/ChangeLog +++ b/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 diff --git a/README b/README index f279e8e29f..7dd42ac692 100644 --- a/README +++ b/README @@ -1,7 +1,7 @@ phpMyAdmin - Readme =================== -Version 4.7.2 +Version 4.7.3-dev A web interface for MySQL and MariaDB. diff --git a/doc/conf.py b/doc/conf.py index 530e93ac12..6978975a8f 100644 --- a/doc/conf.py +++ b/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 diff --git a/libraries/Config.php b/libraries/Config.php index 3e7819e7ee..71b69b5f8e 100644 --- a/libraries/Config.php +++ b/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 */