aboutsummaryrefslogtreecommitdiffhomepage
path: root/html/feedback.html
blob: 17dc974cf60ba776fa32242e28e2e6cd556b8b9b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
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
&lt;feedback@proofgeneral.org&gt;</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;
?>