Initial Checklist
Bug Description
A single file download on the search result page via the batch action is broken.
Reproduction Steps
- upload a file
- search for the file and hit enter
- on the search result page, select the file
- try to download it via the batch action at the very top (not via the context menu)
Expected Outcome
The file should be downloaded.
Actual Outcome
The file can't be downloaded. The console says TypeError: Cannot read properties of null (reading 'webDavPath').