original_string: public function get_document_display_title(\core_search\document $doc) {
  
          $user = \core_user::get_user($doc->get('itemid'));
          return fullname($user);
      }
code: public function get_document_display_title(\core_search\document $doc) {
  
          $user = \core_user::get_user($doc->get('itemid'));
          return fullname($user);
      }
code_tokens: public function get_document_display_title ( \ core_search \ document $ doc ) { $ user = \ core_user :: get_user ( $ doc -> get ( 'itemid' ) ) ; return fullname ( $ user ) ; }
docstring: Returns the user fullname to display as document title
  
  @param \core_search\document $doc
  @return string User fullname
docstring_tokens: Returns the user fullname to display as document title