Jonas Jenwald 93e7f630c1 Remove unnecessary empty string fallback from the getPDFFileNameFromURL call in web/pdf_document_properties.js (PR 10114 follow-up)
Given that the `getPDFFileNameFromURL` helper function has a specific code-path for handling non-string inputs, this empty string fallback really isn't necessary at the call-site in `web/pdf_document_properties.js`.
2020-05-20 12:09:04 +02:00
..
2020-04-14 12:28:14 +02:00
2020-04-14 12:28:14 +02:00
2020-04-14 12:28:14 +02:00
2020-04-14 12:28:14 +02:00