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