Download link should contain filename

Approach seems sensible, but I'm not sure about the exact implementation:

+++ b/src/Plugin/views/display/DataExport.php
@@ -898,13 +898,14 @@ class DataExport extends RestExport {
+        $filename = basename($url);

Is it valid to call basename on a URL?

Seems like this might be working slightly by accident? Is it possible that this URL would contain a / that would trip it up?

Needs work as per #7

The filename is not working with batch export. I'm having issues as well using the basename (some time encoding is not working properly). Is there any better fix than this ? (I'm trying to solve this on my side as well).

The basename works fine in this case. I added some tweaks due to wrong encoding on some date format.

Add the proper patch for the 1.5 version (otherwise it does not apply). Sorry for all the branches created ^^

pbonnefoi → changed the visibility of the branch 3158926-fix-filename-in-batch-mode to hidden.

pbonnefoi → changed the visibility of the branch 3158926-fix-filename-in-batch-mode to hidden.

pbonnefoi → changed the visibility of the branch 3158926-fix-filename-in-batch-mode to hidden.

pbonnefoi → changed the visibility of the branch 3158926-fix-filename-for-batch-export to hidden.