filesize
It should be a bit more savely to remove slashes first:
$ext = array_pop(split('.', str_replace(array("\\", "/"), array("", ""), $filename)));
filetype
(PHP 4, PHP 5)
filetype — Restituisce il tipo di file
Descrizione
string filetype
( string $filename
)
Restituisce il tipo del file. Sono valori possibili fifo, char, dir, block, link, file e unknown.
Restituisce FALSE se si verifica un errore. Inoltre la funzione filetype() genera un errore di livello E_NOTICE se fallisce la chiamata a stat o se il tipo è sconosciuto.
Nota: I risultati di questa funzione saranno memorizzati. Vedere clearstatcache() per maggiori dettagli.
Suggerimento
A partire da PHP 5.0.0, questa funzione può essere utilizzata con alcuni URL wrappers. Fare riferimento a List of Supported Protocols/Wrappers per la lista di quali wrappers supportano le funzioni della famiglia stat().
Example #1 Esempio di uso di filetype()
<?php
echo filetype('/etc/passwd'); // file
echo filetype('/etc/'); // dir
?>
Vedere anche: is_dir(), is_file(), is_link(), file_exists(), stat() e mime_content_type().
add a note
User Contributed Notesfiletype
st dot brinkmann at googlemail dot com
03-Apr-2008 12:33
03-Apr-2008 12:33
rich dot fleming at NOSPAM dot gmail dot com
25-Feb-2008 07:08
25-Feb-2008 07:08
In response to zachary.s.scott[at]gmail[dot]com.
A simplified method would be to pop the last element off the array as that one will be your extension.
<?php
$file = "/some/path/to/your.file_stored_here.txt";
$extension = array_pop(explode(".", $file));
?>
$extension = 'txt'
you could further use this with basename to strip off the extension completely off the file...
<?php
$file = "/some/path/to/your.file_stored_here.txt";
$extension = array_pop(explode(".", $file));
$filename = basename($file, ".$extension");
?>
$extension = 'txt'
$filename = 'your.file_stored_here'
zachary.s.scott[at]gmail[dot]com
13-Jan-2008 08:15
13-Jan-2008 08:15
I find that if you're trying to get the extension of a file, this method isn't the what you want. I've written a function instead:
<?php
function fileExtension($file) {
$fileExp = explode('.', $file); // make array off the periods
$filetype = $fileExp[count($fileExp) -1]; // file extension will be last index in array, -1 for 0-based indexes
}
?>
ruach at chpc dot utah dot edu
10-Mar-2004 05:11
10-Mar-2004 05:11
There are 7 values that can be returned. Here is a list of them and what each one means
block: block special device
char: character special device
dir: directory
fifo: FIFO (named pipe)
file: regular file
link: symbolic link
unknown: unknown file type