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