'; $out .= $pd->text($md); $out .= ""; } } $out .= getHTMLFooter(); $outfile = !empty($_POST['outfile'])?$_POST['outfile']:DEFAULT_FILE; file_put_contents($outfile, $out); header('Location: '.$outfile); } function showAdminPage() { $out = getHTMLHeader(TITLE) .'
'."\n" .''."\n" .getHTMLFooter(); echo $out; } function getHTMLHeader($title = TITLE) { $out = ''."\n" .''."\n" .' '."\n" .'