weekly release 2.3dev (blame stronk7 for 0202 mistake)

On 20120102 version was incorrectly bumped to 2012-02-02. So,
until then (< 1mo) we are going to be incrementing decimal digits
only and not date ones (first 8).

diff --git a/version.php b/version.php
index 281fcf6..d1b62ad 100644 (file)
--- a/version.php
+++ b/version.php
@@ -30,10 +30,10 @@
 defined('MOODLE_INTERNAL') || die();
 
 
-$version  = 2012020200.02;              // YYYYMMDD      = weekly release date of this DEV branch
+$version  = 2012020200.03;              // YYYYMMDD      = weekly release date of this DEV branch
                                         //         RR    = release increments - 00 in DEV branches
                                         //           .XX = incremental changes
 
-$release  = '2.3dev (Build: 20120105)'; // Human-friendly version name
+$release  = '2.3dev (Build: 20120112)'; // Human-friendly version name
 
 $maturity = MATURITY_ALPHA;             // this version's maturity level