\n"; if ($found == false) { echo " \n"; echo " \n"; echo " \n"; echo " \n"; } else { echo " \n"; echo " \n"; echo " \n"; echo " \n"; } echo "\n"; echo "\n"; //} ++$i; $found = false; $font_id = ""; $font_name = ""; $font_shortname = ""; } ?>
 
".$BL["be_gt_font_not_yet_added"]." ".html_specialchars($file).""; echo "\"\"".html_specialchars($font_name)."
"; echo show_picture($file, $font_name, "1", "12", "#111111", "0", $bgcolor, "0", "0", "png") ."
".html_specialchars($font_shortname)."".html_specialchars($file)."\"\"
\"\"