4.2.7 release

Signed-off-by: Marc Delisle <marc@infomarc.info>

ChangeLog

@@ -1,7 +1,7 @@
 phpMyAdmin - ChangeLog
 ======================
 
-4.2.7.0 (not yet released)
+4.2.7.0 (2014-07-31)
 - bug       Broken links on home page
 - bug #4494 Overlap in navigation panel
 - bug #4427 Action icons not in horizontal order

README

@@ -1,7 +1,7 @@
 phpMyAdmin - Readme
 ===================
 
-Version 4.2.7-dev
+Version 4.2.7
 
 A set of PHP-scripts to manage MySQL over the web.
 

doc/conf.py

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

libraries/Config.class.php

@@ -114,7 +114,7 @@ class PMA_Config
      */
     function checkSystem()
     {
-        $this->set('PMA_VERSION', '4.2.7-dev');
+        $this->set('PMA_VERSION', '4.2.7');
         /**
          * @deprecated
          */