original_string: protected static function delete_user_data(int $userid) {
          global $DB;
          // Delete this user's subscriptions first.
          subscription_manager::delete_user_subscriptions($userid);
          // Because we only use user contexts the instance ID is the user ID.
          // Get the rules and check if this user has the capability to delete them.
          $rules = $DB->get_records('tool_monitor_rules', ['userid' => $userid]);
          foreach ($rules as $ruledata) {
              $rule = rule_manager::get_rule($ruledata);
              // If no-one is suscribed to the rule then it is safe to delete.
              if ($rule->can_manage_rule($userid) && subscription_manager::count_rule_subscriptions($rule->id) == 0) {
                  $rule->delete_rule();
              }
          }
      }
code: protected static function delete_user_data(int $userid) {
          global $DB;
          // Delete this user's subscriptions first.
          subscription_manager::delete_user_subscriptions($userid);
          // Because we only use user contexts the instance ID is the user ID.
          // Get the rules and check if this user has the capability to delete them.
          $rules = $DB->get_records('tool_monitor_rules', ['userid' => $userid]);
          foreach ($rules as $ruledata) {
              $rule = rule_manager::get_rule($ruledata);
              // If no-one is suscribed to the rule then it is safe to delete.
              if ($rule->can_manage_rule($userid) && subscription_manager::count_rule_subscriptions($rule->id) == 0) {
                  $rule->delete_rule();
              }
          }
      }
code_tokens: protected static function delete_user_data ( int $ userid ) { global $ DB ; // Delete this user's subscriptions first. subscription_manager :: delete_user_subscriptions ( $ userid ) ; // Because we only use user contexts the instance ID is the user ID. // Get the rules and check if this user has the capability to delete them. $ rules = $ DB -> get_records ( 'tool_monitor_rules' , [ 'userid' => $ userid ] ) ; foreach ( $ rules as $ ruledata ) { $ rule = rule_manager :: get_rule ( $ ruledata ) ; // If no-one is suscribed to the rule then it is safe to delete. if ( $ rule -> can_manage_rule ( $ userid ) && subscription_manager :: count_rule_subscriptions ( $ rule -> id ) == 0 ) { $ rule -> delete_rule ( ) ; } } }
docstring: This does the deletion of user data for the event monitor.
  
  @param  int $userid The user ID
docstring_tokens: This does the deletion of user data for the event monitor .