Support for new deleted field in user table

lib/db/mysql.sql

@@ -147,6 +147,7 @@ CREATE TABLE `modules` (
 CREATE TABLE `user` (
   `id` int(10) unsigned NOT NULL auto_increment,
   `confirmed` tinyint(1) NOT NULL default '0',
+  `deleted` tinyint(1) NOT NULL default '0',
   `username` varchar(100) NOT NULL default '',
   `password` varchar(32) NOT NULL default '',
   `idnumber` varchar(12) default NULL,

lib/moodlelib.php

@@ -903,7 +903,7 @@ function get_user_info_from_db($field, $value) {
     if (!$field || !$value) 
         return false;
 
-    $result = $db->Execute("SELECT * FROM user WHERE $field = '$value' AND deleted = '0'");
+    $result = $db->Execute("SELECT * FROM user WHERE $field = '$value' AND deleted <> '1'");
 
     if ( $result->RecordCount() == 1 ) {
         $user = (object)$result->fields;