Last modified: 2014-10-09 17:33:20 UTC
A download URL like this is offered by the interface, which (at least in Firefox 32) saves to a a file like $ file 3de5e15c0acbde1deccff87bb7a3a90197b42135 3de5e15c0acbde1deccff87bb7a3a90197b42135: PDF document, version 1.5 Wonderful, but better would be "3de5e15c0acbde1deccff87bb7a3a90197b42135.pdf" or "Diffuser.pdf" (do we have a function in core to produce Windows-proof filenames?). This is for OCG/rdf2latex but probably any other rendering as well.
#749 "Better default names for files" was probably related.
Partially fixed by https://gerrit.wikimedia.org/r/164613 (which adds the missing extension). We could do better about using the article title for the filename, though, and my reading of the RFC for contents disposition indicates that we might have an issue here with filename characters outside iso8859-1 as well.
Change 165213 had a related patch set uploaded by Cscott: Use article title as download filename. https://gerrit.wikimedia.org/r/165213
Change 165213 merged by jenkins-bot: Use article title as download filename. https://gerrit.wikimedia.org/r/165213