URLs ending in ..mp3 are not detected as URLs
Environment info
- Browser, version, OS, platform: Version 107.0.5304.110 (Official Build) snap (64-bit), Ubuntu 20.04 LTS
- Instance URL: shitposter.club es.shitposter.club
- Frontend version (see settings -> about): pleroma-fe@c807254d pleroma-fe@b13d8f7e
- Backend version (see settings -> about): 2.4.53-9048-g0f77643d-shitposterclub 2.4.3
- Browser extensions (ublock, rikaichamp etc): uBlock Origin
- Known instance/user customizations (i.e. pleromafe mods/forks, instance styles etc) -> whatever moon uses
Bug description & reproduction steps
https://example.to/something.mp3 is detected as a URL https://example.to/something..mp3 is not
Bug seriousness
- How annoying it is: not very
- How often does it happen: every time
- How many people does it affect: probably quite a few, but very infrequently
- Is there a workaround for it: hack into the website and change the filename of the remote file
Rationale: RFC 1738 's grammar seems to allow for this ie because it's a url -> httpurl -> hpath -> uchar -> unreserved -> .
Edited by Jeff Cliff