PHP in php, html and no extn link to php

1 files changed, 5 insertions, 87 deletions

diff --git a/html/feedback.html b/html/feedback.html
index 4b01ce80..0455f10d 100644
--- a/html/feedback.html
+++ b/html/feedback.html
@@ -1,87 +1,5 @@
-<?php
-##
-##  Proof General feedback form.
-##  
-##  David Aspinall, June 1999.
-##
-##  $Id$
-##
-  require('functions.php3');
-
-  if ($argv[0] !="submit"): 
-###
-### Feedback form
-###
-  small_header("Proof General Feedback Form"); 
-?>
-
-<p>
-Please use the form below to send us comments, suggestions,
-or offers to help with Proof Generl development.
-<br>
-Or send email directly to
-the <?php mlinktxt($project_feedback, "Proof General maintainer &lt;$project_feedback&gt."); ?>
-</p>
-<p>
-You can also report a bug using this form, although it would
-be more helpful to do this from within Emacs, using the 
-"<kbd>Proof General -> Submit bug report</kbd>" menu command.
-</p>
-
-<form method=post action="<?php print $PHP_SELF . "?submit"; ?>">
-<table width="300" border="0" cellspacing="2" cellpadding="0">
-<tr>
-  <td width="20%">From:</td>
-  <td width="80%"><input type=text name="from" size="40"></td>
-</tr>
-<tr>
-  <td>Subject:</td>
-  <td><input type=text name="subject" size="40"></td>
-</tr>
-<tr><td colspan="2">
-<textarea rows="12" cols="60" wrap="physical" name="feedback">
-Dear Proof General developers,
-
-
-</textarea>
-</td></tr>
-</table>
-<br>
-<input type=submit value="Send feedback"> 
-<input type=reset value="Clear">
-</form>
-
-<?php  
-   click_to_go_back(); 
-   footer(); 
-  else:
-##
-##  Process feedback
-##
-   small_header("Thank-you!"); 
-   
-   /* NB: No validation of address! */
-
-   /* FIXME: could append extra info to feedback. */
-
-   $message = "From:\t\t" . $from . "\nSubject:\t" . $subject 
-	   . "\n\n" . "Message:\n" . $feedback;
-
-   if ($from != "") { print "<p>Dear " . $from . ",</p>\n"; };
-   print "<p>";
-   print "Thank-you for sending us feedback";
-   if ($subject != "") { print " about " . $subject; };
-   print ".</p>\n<p>";
-   print "If you provided a valid return email address, somebody from the Proof General team will acknowledge your message after it has been read.";
-   print "</p>";
-
-   mail($project_feedback,  
-	"[Web Feedback Form]: " . $subject,
-	$message,
-        "Reply-To: " . $from . "\n");
-
-   click_to_go_back();
-  
-   footer();
-endif;
-?>
+<?php include('feedback.php); ?>
+<?php 
+  /* This file needs some extra characters in it for apache to work its magic.
+     Things work fine as link to index.html, but it's tricky to include links 
+     in cvs. */ ?>