original_string: public function synchronise_stored_file_from_file(stored_file $file, $path, $filerecord) {
          list($contenthash, $filesize) = $this->add_file_to_pool($path, null, $filerecord);
          $file->set_synchronized($contenthash, $filesize);
      }
code: public function synchronise_stored_file_from_file(stored_file $file, $path, $filerecord) {
          list($contenthash, $filesize) = $this->add_file_to_pool($path, null, $filerecord);
          $file->set_synchronized($contenthash, $filesize);
      }
code_tokens: public function synchronise_stored_file_from_file ( stored_file $ file , $ path , $ filerecord ) { list ( $ contenthash , $ filesize ) = $ this -> add_file_to_pool ( $ path , null , $ filerecord ) ; $ file -> set_synchronized ( $ contenthash , $ filesize ) ; }
docstring: Synchronise stored file from file.
  
  @param stored_file $file Stored file to synchronise.
  @param string $path Path to the file to synchronise from.
  @param stdClass $filerecord The file record from the database.
docstring_tokens: Synchronise stored file from file .