original_string: public static function add_comment(comment $comment) {
          global $DB;
          $comment->id = null;
          return $DB->insert_record('assignfeedback_editpdf_cmnt', $comment);
      }
code: public static function add_comment(comment $comment) {
          global $DB;
          $comment->id = null;
          return $DB->insert_record('assignfeedback_editpdf_cmnt', $comment);
      }
code_tokens: public static function add_comment ( comment $ comment ) { global $ DB ; $ comment -> id = null ; return $ DB -> insert_record ( 'assignfeedback_editpdf_cmnt' , $ comment ) ; }
docstring: Add a comment to a page.
  @param comment $comment
  @return bool
docstring_tokens: Add a comment to a page .