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