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