original_string: public function get_content(stored_file $file) {
          if (!$file->get_filesize()) {
              // Directories are empty. Empty files are not worth fetching.
              return '';
          }
  
          $source = $this->get_remote_path_from_storedfile($file);
          return file_get_contents($source);
      }
code: public function get_content(stored_file $file) {
          if (!$file->get_filesize()) {
              // Directories are empty. Empty files are not worth fetching.
              return '';
          }
  
          $source = $this->get_remote_path_from_storedfile($file);
          return file_get_contents($source);
      }
code_tokens: public function get_content ( stored_file $ file ) { if ( ! $ file -> get_filesize ( ) ) { // Directories are empty. Empty files are not worth fetching. return '' ; } $ source = $ this -> get_remote_path_from_storedfile ( $ file ) ; return file_get_contents ( $ source ) ; }
docstring: Get the content of the specified stored file.
  
  Generally you will probably want to use readfile() to serve content,
  and where possible you should see if you can use
  get_content_file_handle and work with the file stream instead.
  
  @param stored_file $file The file to retrieve
  @return string The full file content
docstring_tokens: Get the content of the specified stored file .