« Previous | Next » 

Revision 7cc0f8d1

ID7cc0f8d127e83a7475d635356fb424495afc2f48
Parent 511130d9
Child a73b1e75

Added by Dimitris Routsis almost 15 years ago

Use URL.encodeComponent() instead of URL.encode() as it encodes a few more characters that may appear in filenames and URL.encode() left unencoded.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences