Imágenes: Obtener el tamaño de una imagen en PHP

$imagen = GetImageSize("./images/banners/pepe.jpg");
 $ancho_orig = $imagen[0];
 $alto_orig = $imagen[0];