blob: 6413f83baa29a2dc808f21f3a6d1244203accd03 (
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:proofgen@dcs.ed.ac.uk">Proof General maintainer
<proofgen@dcs.ed.ac.uk></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("da", /*"proofgen@dcs.ed.ac.uk",*/
"[Web Feedback Form]: " . $subject,
$message,
"Reply-To: " . $from . "\n");
click_to_go_back();
footer();
endif;
?>
|
