[PHP] Extensie veranderen van een bestand

[wolly_a]

Heej,

Ik weet niet of hetgeen ik wil vragen mogelijk is, maar mijn probleem is als volgt. Ik heb een eigen servertje draaien op een kabelinternetaansluiting. Nu heb ik alleen een wat groter bestand, een mp3-tje, dat ik op mijn site wil aanbieden. Dit zal niet echt bruut snel gaan. Ik wil dit bestandje op een gratis accountje ergens neerzetten, alleen die hebben alle de extensie .mp3 geblokkeerd. Is het mogelijk dat ik dit bestand met een andere extensie op de server aldaar plaats en de extensie verander naar .mp3 (met PHP) op het moment dat het bestand wordt gedownload door een gebruiker? Ik hoop dat het duidelijk is wat ik bedoel. Oh, trouwens... Het is geen illegale mp3-site ofzo. Het gaat om 1 mp3-tje dat ik zelf heb geproduceerd en waar ik zelf de rechten dus op heb!

[drm]

Je zou met een Header "Content-disposition: attachment; filename=bever.mp3" kunnen doen.

Je zou ook gewoon de extensie kunnen veranderen en de bezoeker instrueren dat 't een mp3-tje is.

Volgende keer beetje meer zelf-denkzaamheid wordt wel op prijs gesteld.