original_string: public static function get_annotation($annotationid) {
          global $DB;
  
          $record = $DB->get_record('assignfeedback_editpdf_annot', array('id'=>$annotationid), '*', IGNORE_MISSING);
          if ($record) {
              return new annotation($record);
          }
          return false;
      }
code: public static function get_annotation($annotationid) {
          global $DB;
  
          $record = $DB->get_record('assignfeedback_editpdf_annot', array('id'=>$annotationid), '*', IGNORE_MISSING);
          if ($record) {
              return new annotation($record);
          }
          return false;
      }
code_tokens: public static function get_annotation ( $ annotationid ) { global $ DB ; $ record = $ DB -> get_record ( 'assignfeedback_editpdf_annot' , array ( 'id' => $ annotationid ) , '*' , IGNORE_MISSING ) ; if ( $ record ) { return new annotation ( $ record ) ; } return false ; }
docstring: Get a single annotation by id.
  @param int $annotationid
  @return annotation or false
docstring_tokens: Get a single annotation by id .