move user::delete() to User_Model::delete()

2026-06-05 03:09:08 -04:00 · 2008-12-09 00:07:26 +00:00
parent e3ad42a276
commit f69f3967ea
4 changed files with 12 additions and 17 deletions
--- a/modules/user/models/user.php
+++ b/modules/user/models/user.php
@@ -34,4 +34,12 @@ class User_Model extends ORM {
    }
    parent::__set($column, $value);
  }
+
+  /**
+   * @see ORM::delete()
+   */
+  public function delete($id=null) {
+    parent::delete($id);
+    module::event("user_deleted", $user);
+  }
 }