original_string: public static function user_deleted(\core\event\user_deleted $event) {
          $userid = $event->objectid;
          subscription_manager::delete_user_subscriptions($userid);
      }
code: public static function user_deleted(\core\event\user_deleted $event) {
          $userid = $event->objectid;
          subscription_manager::delete_user_subscriptions($userid);
      }
code_tokens: public static function user_deleted ( \ core \ event \ user_deleted $ event ) { $ userid = $ event -> objectid ; subscription_manager :: delete_user_subscriptions ( $ userid ) ; }
docstring: Observer that monitors user deleted event and delete user subscriptions.
  
  @param \core\event\user_deleted $event the event object.
docstring_tokens: Observer that monitors user deleted event and delete user subscriptions .