How can i find out the extension of the picture.

[Jragon]

Hello,

 

I was wondering how you can find out the extension of the image (so .gif, or .jpg). Because i need to make an image uploader thingy, and i want to change the name of the picture to some random string, but keep the extension the same. My friend said i could do it in regex but i have no idea..

 

Thanks

 

Jragon.

[AbraCadaver]

$pathinfo = pathinfo('/path/to/your/image.gif');
$extension = $pathinfo['extension'];

 

[Jragon]

So if i did, $pathinfo = pathinfo($_FILE['file']['name']); that would work?

 

[AbraCadaver]

Yes, or shorten it:

 

$extention = pathinfo($_FILES['file']['name'], PATHINFO_EXTENSION);