" . $row[proname] . ""; // Strip off trailing delimiter $tgargs = trim(substr($row[tgargs], 0, strlen($row[tgargs]) - 4)); $params = explode('\000', $tgargs); for ($i = 0; $i < sizeof($params); $i++) { $params[$i] = str_replace("'", "\\'", $params[$i]); } $defn = implode("', '", $params); ?> > "; } include ("footer.inc.php"); ?>