HEAD is now in 1.6 alpha state, no matter what release engineer tells

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 7690ddc..9773a1b 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -28,7 +28,7 @@ require_once( 'includes/SiteConfiguration.php' );
 $wgConf = new SiteConfiguration;
 
 /** MediaWiki version number */
-$wgVersion                     = '1.5beta4';
+$wgVersion                     = '1.6alpha';
 
 /** Name of the site. It must be changed in LocalSettings.php */
 $wgSitename         = 'MediaWiki';