original_string: public function copy_content_from_storedfile(stored_file $file, $target) {
          $source = $this->get_local_path_from_storedfile($file, true);
          return copy($source, $target);
      }
code: public function copy_content_from_storedfile(stored_file $file, $target) {
          $source = $this->get_local_path_from_storedfile($file, true);
          return copy($source, $target);
      }
code_tokens: public function copy_content_from_storedfile ( stored_file $ file , $ target ) { $ source = $ this -> get_local_path_from_storedfile ( $ file , true ) ; return copy ( $ source , $ target ) ; }
docstring: Copy content of file to given pathname.
  
  @param stored_file $file The file to be copied
  @param string $target real path to the new file
  @return bool success
docstring_tokens: Copy content of file to given pathname .