get.php.in

<?php
  include 'IMP.inc';

  $_GET["TOPDIR"] = ".";
  $_GET["FILENAME"] = "get.php";
  $_GET["HTMLNAME"] = "get.php";
  $_GET["WEB"] = "foo";
  $_GET["WEBTOP"] = "foo";
  print "<?php\n\n";
  print "   function print_page_header() {\nprint <<<END\n";
  print_page_header("Get IMP");
  print "\nEND;\n}\n\n";

  print "   function print_page_footer() {\nprint <<<END\n";
  print_page_footer();
  print "\nEND;\n}\n\n";
  print "?>\n\n";
?>