Changeset 1042
- Timestamp:
- 03/21/07 15:44:33 (2 years ago)
- Files:
-
- devel/mod/widget/lib.php (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
devel/mod/widget/lib.php
r1035 r1042 141 141 142 142 function widget_destroy($ident) { 143 144 delete_records('widgets','ident',$ident); 145 widget_remove_data($ident); 146 143 if ($widget = get_record('widgets','ident',$ident)) { 144 if ($widget = plugin_hook("widget","delete",$widget)) { 145 delete_records('widgets','ident',$ident); 146 widget_remove_data($ident); 147 } 148 } 147 149 } 148 150
