Hola:
Puedes desde el servidor pasar los nombres a un script... por ejemplo, si rescatas esas imágenes (sus url's) a un array:
$urls = ["imagen1.gif", "imagen2.gif"];
y en javascript
:
var imagenes = ["<? echo implode('", "', $urls); ?>"];
Si puedes tener problemas de saltos de línea o similares, puedes usar en php un foreach... pero al final solo debes preocuparte del lenguaje del servidor.
Saludos
