<?php
header("text/javascript");
require('playlist.php');
require('settings.php');

$imagelist = playlist_read(true, true);
$fulls = array();

foreach ($imagelist as $image) {
	$base = $image['name'];
	$full = IMAGEFOLDER.$base.'.png';
	$fulls[] = '"'. $full .'"';
}
?>
images = [<?php echo implode(", ", $fulls);?>];