public function add_stored_file($file) {
        if (is_numeric($file)) {
            $this->files[$file] = $file;
        } else {
            $this->files[$file->get_id()] = $file;
        }
    }
public function add_stored_file($file) {
        if (is_numeric($file)) {
            $this->files[$file] = $file;
        } else {
            $this->files[$file->get_id()] = $file;
        }
    }
public function add_stored_file ( $ file ) { if ( is_numeric ( $ file ) ) { $ this -> files [ $ file ] = $ file ; } else { $ this -> files [ $ file -> get_id ( ) ] = $ file ; } }
Add a stored file to the document.

@param \stored_file|int $file The file to add, or file id.
@return void
Add a stored file to the document .