// This is compared against the values stored in the database to determine
// whether upgrades should be performed (see lib/db/*.php)
- $version = 2008123101; // YYYYMMDD = date of the last version bump
+ $version = 2008123102; // YYYYMMDD = date of the last version bump
// XX = daily increments
$release = '2.0 dev (Build: 20081231)'; // Human-friendly version name