no, lo unico que debes crear es un script imagen.php con ese contenido y nada mas ^^
si está en un directorio diferente al de las imagenes, debes añadir la ruta a ellas donde dice:
Código PHP:
<img src="${imagenes[$imagen]}\" ...
de modo que quede:
Código PHP:
<img src="ruta/al/dir/de/imagenes/${imagenes[$imagen]}\" ...
Ah, y cuidado que no le has puesto el signo $ a imagenes. Tu lista de imagenes debe quedar asi:
Código PHP:
$imagenes=array();
$imagenes[1]="1.jpg";
$imagenes[2]="2.jpg";
$imagenes[3]="3.jpg";
$imagenes[4]="4.jpg";
$imagenes[5]="5.jpg";
$imagenes[6]="6.jpg";
$imagenes[7]="7.jpg";
$imagenes[8]="8.jpg";
$imagenes[9]="9.jpg";
Y luego, como veo que comienza por 1, hacer que cuando se ingrese un numero inválido o ninguno, carge la número 1:
Código PHP:
$imagen=$_GET["imagen"];
if(!$imagen || $imagen<=0 || $imagen>count($imagenes)) $imagen=1;
Exitos