// This is compared against the values stored in the database to determine
// whether upgrades should be performed (see lib/db/*.php)
- $version = 2007081302; // YYYYMMDD = date
+ $version = 2007081500; // YYYYMMDD = date
// XY = increments within a single day
- $release = '1.9 dev'; // Human-friendly version name
+ $release = '1.9 Beta'; // Human-friendly version name
?>