Add ability to change the extension of downloaded files (#5017)
Add ability to change the extension of downloaded files (#5017)

Add ability to change the extension of downloaded files

Co-authored-by: Dean Herbert <1db828bcd41de75377dce59825af73ae7fca5651@ppy.sh>
smoogipoo/osu,UselessToucan/osu,ppy/osu,peppy/osu-new,UselessToucan/osu,ZLima12/osu,smoogipoo/osu,peppy/osu,EVAST9919/osu,ppy/osu,peppy/osu,ppy/osu,johnneijzen/osu,NeoAdonis/osu,smoogipooo/osu,johnneijzen/osu,NeoAdonis/osu,2yangk23/osu,2yangk23/osu,UselessToucan/osu,ZLima12/osu,peppy/osu,EVAST9919/osu,NeoAdonis/osu,smoogipoo/osu