filetype

(PHP 4, PHP 5)

filetype — Obtiene el tipo de archivo

Descripción

string filetype ( string $nombre_archivo )

Devuelve el tipo del archivo dado.

Lista de parámetros

nombre_archivo: Ruta al archivo.

Valores retornados

Devuelve el tipo del archivo. Los posibles valores son fifo, char, dir, block, link, file, socket y unknown.

Devuelve FALSE si ocurre un error. filetype() producirá siempre un mensaje E_NOTICE si el llamado a stat falla o el tipo de archivo es desconocido.

Ejemplos

Example #1 Ejemplo de filetype()


<?php

echo filetype('/etc/passwd');  // file
echo filetype('/etc/');        // dir

?>

Notes

Note: Los resultados de esta función son guardados. Consultar clearstatcache() para más detalles.

Tip

A partir de PHP 5.0.0, esta funcion tambien puede usarse con algunas URL como nombre de fichero. Consultar Lista de Protocolos/Envolturas Soportadas, para obtener una lista con soporte para la funcionalidad stat().

Ver también

flock

filesize

Last updated: Fri, 11 Apr 2008

add a note User Contributed Notes
filetype

st dot brinkmann at googlemail dot com
03-Apr-2008 09:33


It should be a bit more savely to remove slashes first:



$ext = array_pop(split('.', str_replace(array("\\", "/"), array("", ""), $filename)));

rich dot fleming at NOSPAM dot gmail dot com
26-Feb-2008 04: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
14-Jan-2008 05: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
11-Mar-2004 02: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

add a note

flock

filesize

Last updated: Fri, 11 Apr 2008