Make admin tool email when adding paid time

[cesy]

Title:
Make admin tool email when adding paid time

Area:
paid accounts, admin tools

Summary:
Add an option to the admin tool for paid time so that users can be emailed (if the admin wants) to tell them they have been given paid time.

Description:
The admin tool used to update paid time (used for theme-maker bonuses, or if someone gets paid time extended as compensation for a problem) doesn't email the user with the usual "You have been given paid time" email. Obviously on some occasions when the admin tool is used, the user is told anyway, so it would be redundant, but sometimes they aren't. In these cases, it would be useful to add an option to the admin tool to tell the user that they've been given paid time. This would use the same notification as being gifted paid time by another user. It would be an option so the admin could make sure that people aren't getting annoyed be extra emails when it's not appropriate.

Poll #1808 Make admin tool email when adding paid time

Open to: Registered Users, detailed results viewable to: All, participants: 26

View Respondents

This suggestion:

View Answers

Should be implemented as-is.
22 (84.6%)

Should be implemented with changes. (please comment)
1 (3.8%)

Shouldn't be implemented.
0 (0.0%)

(I have no opinion)
3 (11.5%)

(Other: please comment)
0 (0.0%)

Comments

[azurelunatic]

I'm in favor of automatic mail regardless, even if it is redundant.