PHP file_put_contents get file extension/type

Question

It's possible to get extension of a file with file_put_contents in PHP?

I want to download files from a server using php with cycle, but each file has a different type and I want to know if there is a way to understand the extension of each file?

Code sample:

<?php 

  $url = 'http://www.domain.com/file/123';
  $fopen = fopen($url, 'r');
  file_put_contents("filename", $fopen);
  fclose($fopen);

?>

How can I find out what type of a file, because if I put it with only the name becomes impractical?

@deceze: Nips, I stand corrected... That's a bit of the docs I've never really read in my 10 years since I started writing PHP :-P — Elias Van Ootegem, Apr 24 '15 at 14:46
http://stackoverflow.com/questions/10456113/php-check-file-extension-in-upload-form this is what you looking for. — Ifch0o1, Apr 24 '15 at 14:48

score 1 · Answer 1 · answered Apr 24 '15 at 14:44

I understand that you problems is that you do not know what extension to put for this file. Once you have saved the file then you can detect the mime type and extension like this

$fi = new finfo(FILEINFO_MIME,'/path/filename');
$mime_type = $fi->buffer(file_get_contents($file));

Once you have found the mime type then you can rename it. Of course bear in mind that this needs extra IO from your HDD.

score 0 · Accepted Answer · answered Apr 24 '15 at 14:44

0

maybe try smth like this:

get_headers ( $url )

http://php.net/manual/en/function.get-headers.php

answered Apr 24 '15 at 14:44

Andriy

973
8
13

score 0 · Answer 3 · answered Apr 24 '15 at 14:52

A file transferred via HTTP may have a name in the Content-Disposition HTTP header. If it doesn't, there should be a Content-Type HTTP header which at least tells you the MIME type of the file; you can map that to a file extension and need to make up some filename yourself. If neither are present, you're on your own.

The first step is to read the HTTP headers before downloading the HTTP body. The curl extension can do that, get_headers could do it (though requires an additional roundtrip), or other socket based HTTP libraries could do it (I'd recommend this one, you want to make one HTTP request, get access to the headers, but not read the entire file into memory). Look around for a library that can do this for you, this is a bit of a broad topic.

PHP file_put_contents get file extension/type

3 Answers3