Bannerrotation mit PHP und Dateisystem

Wer die Banner seines Themes rotieren lassen will, kann dafür Module von Drupal benutzen. Aber eigentlich ist es nur ein kleines PHP Konstrukt

if ($logo = theme_get_setting('logo')) {
$bannerdir = path_to_theme().'/banner';
$allbanner = array();
if ($handle = opendir($bannerdir)) {
while (false !== ($file = readdir($handle))) {
if (is_file($bannerdir.'/'.$file) & substr($file,0,1) <> '.')
{
$allbanner[] = $file;
}
}
}
$banner = $allbanner[rand(0,count($allbanner)-1)]; 
if ($banner == '') {
$output .= "  ";    
} else {
echo $banner;
$output .= "  ";    
}
closedir($handle);
}