Obtener la extension del archivo para almacenarla en mysql

[CeRo_ByTe]

Hola a todos.

Tengo una página llamada index.htm que contiene un formulario en donde además de colocar un titulo y una descripcion, ademas se puede subir un archivo al servidor.

Luego, tengo otra página llamada crea_noticia.php el cuál añade todos los datos a la base de datos mysql y además mueve el archivo a una carpeta determinada del server.

Quisiera saber como puedo obtener la extension del archivo, ya sea .jpg, .gif, .swf, .mpg... ya que quiero almacenar este dato en una columna de la base de datos.

¿Alguien me puede ayudar indicandome algun codigo fuente o alguna solucion?

Mil gracias de antemano. Un saludo

[okram]

Usa la función pathinfo(). El ejemplo que se coloca en PHP.net es:

Iniciado por PHP.net

Código PHP:

  <?php
$partes_ruta = pathinfo('/www/htdocs/index.html');
 
echo $partes_ruta['dirname'] . "\n";
echo $partes_ruta['basename'] . "\n";
echo $partes_ruta['extension'] . "\n";
?>   

Produciría:

/www/htdocs
index.html
html

Un saludo,

[CeRo_ByTe]

Esta perfecto. Muchas gracias compañero ;)

Un saludo

[andruqui]

Otra cosa que puedes usar, yo la uso.....

Código PHP:

  function extension_archivo ($ruta) {
    $res = explode(".", $ruta);
    $extension = $res[count($res)-1];
    return $extension ;
}// fin extension_archivo 
   

Saludos
Andres

[CeRo_ByTe]

Mi objetivo es cambiar el nombre al archivo que el usuario suba a mi server.

Por lo tanto, quería saber como obtener la extensión, para variar solo el nombre y que la extension sea la misma que tiene antes de subirlo al server.

Pero claro, el archivo se sube a una carpeta temporal no?

Porque cuando me cambia el nombre, me pone la extensión .tmp

Uso esto:

Código PHP:

  $datos_archivo = pathinfo($archivo_usuario);
$nombre_nuevo = $id.".".$datos_archivo['extension']; //Cambio el nombre al archivo 
   

Veis, cambio el nombre original del archivo por el id del archivo mas la extension.

Alguien me dice una solucion para que la extension no sea .tmp?

Gracias

[CeRo_ByTe]

Me auto respondo.

Lo he conseguid gracias a esto:

Código PHP:

  $ext = strrchr($HTTP_POST_FILES['archivo']['name'],'.'); 
   

Gracias de todos modos