y no es mas facil subir las imagenes renombrandolas a algo asi como: banner(1).jpg, banner(2).jpg etc
y luego cuando quieras imprimir el banner, abres la carpeta de banners, cuentas cuantos archivos hay, generas random y hacer luego un <img src=banner(<? echo $random ?>).jpg> ?