Generar un nombre unico de archivo

[SpiderNet]

A los archivos que los usuarios suban al servidoer de mi web quiero agregarles la fecha y la hora, pero eliminandole los puntos y demas separadores

Ejemplo:
Si hoy es 09 de octubre de 2.008 y la hora 16:04:15 y un usuario sube un archivo llamado prueba.gif, entonces que mi archivo se llame prueba16041509102008.gif

se que es algo como

$archivo = $archivo.date()

y la funcion date() debo eliminarle todos los separadores.

Si me guian por favor.

[GatorV]

Hola SpiderNet,

Prueba mejor con la función time().

Saludos.

[SpiderNet]

Gracias!!!

Aqui esta la funcion, la probe y funciona perfectamente

Código:

function do_generar_nombre_archivo($archivo)
{
    $array = explode(".",$archivo);
	$nombre= $array[0];
	$extension = $array[1];
	$archivo = $nombre.time().".".$array[1];
	return $archivo;
}

Saludos!!!