* @method string getFileId() Identifier for this file, which can be used to download or reuse the file
14
* @method string getFileUniqueId() Unique identifier for this file, which is supposed to be the same over time and for different bots. Can't be used to download or reuse the file.
15
* @method int getWidth() Video width as defined by sender
16
* @method int getHeight() Video height as defined by sender
17
* @method int getDuration() Duration of the video in seconds as defined by sender
18
* @method PhotoSize getThumb() Optional. Video thumbnail
19
* @method string getFileName() Optional. Original filename as defined by sender
20
* @method string getMimeType() Optional. Mime type of a file as defined by sender