| 3 | 
 //    $Id$ | 
 //    $Id$ | 
| 4 | 
 //    ----------------------------------------------------------------------------- | 
 //    ----------------------------------------------------------------------------- | 
| 5 | 
 //    $Log$ | 
 //    $Log$ | 
| 6 | 
  | 
 //    Revision 1.6  2003/02/09 17:49:53  joko | 
| 7 | 
  | 
 //    - removed old code | 
| 8 | 
  | 
 // | 
| 9 | 
 //    Revision 1.5  2003/02/04 08:22:34  joko | 
 //    Revision 1.5  2003/02/04 08:22:34  joko | 
| 10 | 
 //    + function is_hash | 
 //    + function is_hash | 
| 11 | 
 //    + function array_join_merge | 
 //    + function array_join_merge | 
| 90 | 
   return "valid"; | 
   return "valid"; | 
| 91 | 
 } | 
 } | 
| 92 | 
  | 
  | 
| 93 | 
 function dumpVar($var) { | 
 function Dumper() { | 
 | 
   return Dumper($var); | 
  | 
 | 
 } | 
  | 
 | 
  | 
  | 
 | 
 function Dumper($var) { | 
  | 
| 94 | 
   ob_start(); | 
   ob_start(); | 
| 95 | 
   print_r($var); | 
   $arg_list = func_get_args(); | 
| 96 | 
  | 
   $count = 1; | 
| 97 | 
  | 
   foreach ($arg_list as $arg) { | 
| 98 | 
  | 
     print "<hr/>"; | 
| 99 | 
  | 
     print_r($arg); | 
| 100 | 
  | 
     $count++; | 
| 101 | 
  | 
   } | 
| 102 | 
   $var_dump = ob_get_contents(); | 
   $var_dump = ob_get_contents(); | 
| 103 | 
   ob_end_clean(); | 
   ob_end_clean(); | 
| 104 | 
   $var_dump = str_replace("\n", "<br>", $var_dump); | 
   $var_dump = str_replace("\n", "<br>", $var_dump); | 
| 159 | 
   return $birthday; | 
   return $birthday; | 
| 160 | 
 } | 
 } | 
| 161 | 
  | 
  | 
 | 
 /* | 
  | 
 | 
 function dprint($message) { | 
  | 
 | 
   print '<span style="font-family:Verdana,Helvetica;font-size:7pt;">'; | 
  | 
 | 
   print $message; | 
  | 
 | 
   print '</span><br>'; | 
  | 
 | 
 } | 
  | 
 | 
 */ | 
  | 
 | 
  | 
  | 
| 162 | 
 function number_format_storage($string) { | 
 function number_format_storage($string) { | 
| 163 | 
     $locale_info = localeconv(); | 
     $locale_info = localeconv(); | 
| 164 | 
     $string =  str_replace($locale_info["decimal_point"], ".",  $string); | 
     $string =  str_replace($locale_info["decimal_point"], ".",  $string); |