Hi Everyone,
I'm very new to PHP. I'm a designer looking to learn some basic skills.
Meanwhile, I've been searching for snippets of code.
I found this snippet to randomly rotate out header images. The problem is that I think it's old...the date on it is 2003, and it seems to get stuck on the same one too often. I know random can mean, it can pick the same one a few times in a row, but it seems to be happening too much. Any help would be appreciated.
Thanks
<?php
/*
*/// Make this the relative path to the images, like "../img" or "random/images/".
// If the images are in the same directory, leave it blank.
$folder = '';
// Space seperated list of extensions, you probably won't have to change this.
$exts = 'jpg jpeg png gif';
$files = array(); $i = -1; // Initialize some variables
if ('' == $folder) $folder = './';
$handle = opendir($folder);
$exts = explode(' ', $exts);
while (false !== ($file = readdir($handle))) {
foreach($exts as $ext) { // for each extension check the extension
if (preg_match('/\.'.$ext.'$/i', $file, $test)) { // faster than ereg, case insensitive
$files[] = $file; // it's good
++$i;
}
}
}
closedir($handle); // We're not using it anymore
mt_srand((double)microtime()*1000000); // seed for PHP < 4.2
$rand = mt_rand(0, $i); // $i was incremented as we went along
header('Location: '.$folder.$files[$rand]); // Voila!
?>