Version bump for the watchlist changes

htdocs/lib/db/upgrade.php

@@ -610,7 +610,7 @@ function xmldb_core_upgrade($oldversion=0) {
         }
     }
 
-    if ($oldversion < 2007072803) {
+    if ($oldversion < 2007082200) {
         // Remove watchlist functionality apart from watching views
         $table = new XMLDBTable('usr_watchlist_group');
         drop_table($table);

htdocs/lib/version.php

@@ -27,7 +27,7 @@
 defined('INTERNAL') || die();
 
 $config = new StdClass;
-$config->version = 2007082100;
+$config->version = 2007082200;
 $config->release = '0.9.0dev';
 $config->minupgradefrom = 2007080700;
 $config->minupgraderelease = '0.8.0 (release tag 0.8.0_RELEASE)';