De donde salen $imagen_type, $nombre, $imagen, etc.?
Código php:
Ver original$imagen_type = $_FILES['imagen']['type'];
$nombre_temp = $_FILES['imagen']['tmpname'];
// Otros indices utiles en $_FILES['imagen']
// - name
// - size
// - error
De preferencia usa
move_uploaded_file() en lugar de
copy()