Your comments

It is a no longer supported format. (We'll fix the doc reference)

Your case usage is just one out of many. Our goal is not to replicate how Dropbox works.

You can simply delete "customizables\plugins\video_player". Or if you share via links, check the advanced options panel, as there is an option specifically for forcing the download.

Transcoding for streaming is not an issue on any modern machine.

FileRun will never have a feature where it automatically stores different versions/formats of a video file, or any type of file for that matter. That's something that the user can do, manually, if he wants/needs to.

Transcoding takes a long time, so it would be impractical to do it at upload time.

But we're looking into having FileRun use a third-party tool, such as FFmpeg to transcode in real-time when previewing. This would also avoid excessive usage on the storage space for videos that might not get previewed.

Unlike with other software, because FileRun is a web-based application that in many cases gets customized, the Docker image is used for delivery of the environment FileRun runs in, not for delivery of the FileRun application files. Updating the Docker image will never update FileRun, because that would mean you would loose any customization made to the application files.

This being said, for updating a FileRun installation, please use this guide:

The official FileRun Android app has been temporarily discontinued. Please use the Nextcloud app in the meantime:

It can be adjusted via a config option in FileRun, but it would be better to be adjusted in the server itself, to avoid other possible problems.

Can it be that PHP is configured with one timezone (date.timezone) and the MySQL server with a different one?

I think I know what the problem is. Check the properties of the PHP handler mapping in IIS, and make sure it is configured to allow all HTTP verbs. IIS is currently rejecting PROPFIND, which is the HTTP method for browsing folders via WebDAV (which is used by the Nextcloud apps).

I would check the PHP error log, and also the HTTP server log for possible errors.