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 ?>