Index: mania_playlist.php
===================================================================
--- mania_playlist.php	(revision 129)
+++ mania_playlist.php	(revision 130)
@@ -0,0 +1,20 @@
+<?
+// place anything you want here to modify $raydium_ogg_file 
+// with the desired file (or empty string to stop music playback)
+
+// In this example, I list mania_music/*.ogg and play a random file
+
+$rep="mania_music/";
+$dir=opendir($rep);
+if($dir==false) die("Cannot find \"$rep\" directory...");
+
+unset($tbl);
+while (($file = readdir($dir)) != false)
+    if(substr($file,-4) == ".ogg")
+	$tbl[]=$file;
+
+
+$raydium_ogg_file=$rep.$tbl[rand(0,count($tbl)-1)];
+
+echo "Now playing $raydium_ogg_file ...";
+?>
\ No newline at end of file