https://bugzilla.wikimedia.org/show_bug.cgi?id=42790
--- Comment #14 from Bawolff (Brian Wolff) <[email protected]> --- (In reply to comment #13) > In the context of the player we set: > > .attr( { > 'href': source.getSrc(), > 'download': fileName > }) > > Which browser use to trigger a download link with given file name. It would > be > a small change to parse the title check for timedText namespace, and > re-arrange > things so it has .srt extension. > > But just something to keep in mind. Actually, we can't directly make the url have an extension other than .php due to security bugs in safari and some version of ie, but that's kind of a separate problem -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
