diff options
author | 2000-09-28 15:01:50 +0000 | |
---|---|---|
committer | 2000-09-28 15:01:50 +0000 | |
commit | bd7aa7923a25d16207842f9f3d6b773c2fc6fa58 (patch) | |
tree | 8f5733bf63e8c880e65472b3ebf745b1026698e3 /html/feedback.html | |
parent | 2c253444d0b93cf7628ab030e6a5f1ad24fa20fd (diff) |
Renamed file
Diffstat (limited to 'html/feedback.html')
-rw-r--r-- | html/feedback.html | 89 |
1 files changed, 89 insertions, 0 deletions
diff --git a/html/feedback.html b/html/feedback.html new file mode 100644 index 00000000..17dc974c --- /dev/null +++ b/html/feedback.html @@ -0,0 +1,89 @@ +<?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 +<a href="mailto:feedback@proofgeneral.org">Proof General maintainer +<feedback@proofgeneral.org></a>. +</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("feedback@proofgeneral.org", + "[Web Feedback Form]: " . $subject, + $message, + "Reply-To: " . $from . "\n"); + + click_to_go_back(); + + footer(); +endif; +?> |