Add an upgrade path to delete users based on the improved user_delete function.

htdocs/lib/db/upgrade.php

@@ -1280,6 +1280,16 @@ function xmldb_core_upgrade($oldversion=0) {
         create_table($table);
     }
 
+    if ($oldversion < 2008091200) {
+        // Some cleanups for deleted users, based on the new model of handling them
+        if ($userids = get_column('usr', 'id', 'deleted', 1)) {
+            require_once('user.php');
+            foreach ($userids as $userid) {
+                delete_user($userid);
+            }
+        }
+    }
+
     return $status;
 
 }

htdocs/lib/version.php

@@ -27,7 +27,7 @@
 defined('INTERNAL') || die();
 
 $config = new StdClass;
-$config->version = 2008090800;
+$config->version = 2008091200;
 $config->release = '1.1.0alpha2dev';
 $config->minupgradefrom = 2007080700;
 $config->minupgraderelease = '0.8.0 (release tag 0.8.0_RELEASE)';