00001 <?php
00002 #
00003 # list all gif images in the icon directory
00004 #
00005
00006 function page_head() {
00007 echo("<html>
00008 <head>
00009 <title>Bookmark4U Icon List</title>
00010 </head>
00011 <body bgcolor=gray>
00012 <script>
00013 function setBgColor(color) {
00014 document.bgColor = color;
00015 }
00016 </script>
00017 <form>
00018 <input type=button onclick=\"setBgColor('white')\" value='White'>
00019 <input type=button onclick=\"setBgColor('gray')\" value='Gray'>
00020 <input type=button onclick=\"setBgColor('black')\" value='Black'>
00021 </form>\n");
00022 }
00023
00024 function page_tail() {
00025 echo("</body></html>");
00026 }
00027
00028 #$gif_images = exec("find . -name '*.gif' | xargs ");
00029 $gif_images = exec("find . -name '*.gif' | tr '\n' ' ' ");
00030
00031 $gifs = explode(" ", $gif_images);
00032 sort($gifs);
00033
00034 page_head();
00035
00036 for ($i = 0; $i < sizeof($gifs); $i++) {
00037 echo("<img src='$gifs[$i]' border=1 alt='' />
00038 <font color=black>$gifs[$i]</font><br/>\n");
00039 }
00040
00041 page_tail();
00042 exit;
00043
00044 ?>
