-$version = 2011070800.01; // YYYYMMDD = weekly release date of this DEV branch
+$version = 2011071300.00; // YYYYMMDD = weekly release date of this DEV branch
// RR = release increments - 00 in DEV branches
// .XX = incremental changes
-$release = '2.2dev (Build: 20110708)'; // Human-friendly version name
+$release = '2.2dev (Build: 20110713)'; // Human-friendly version name
$maturity = MATURITY_ALPHA; // this version's maturity level