//377delete_spam_after_report
// What should we do with spam messages after reporting them?
$_prefs['delete_spam_after_report'] = array(
    'value' => 0,
    'locked' => false,
    'shared' => false,
    'type' => 'enum',
    'enum' => array(0 => _("Nothing"),
                    1 => _("Delete spam messages")),
    'desc' => _("What should we do with spam messages after they have been reported as spam or innocent?"),
    'help' => 'prefs-delete_spam_after_report'
);
if (!$is_pop3) \{
    $_prefs['delete_spam_after_report']['enum'][2] =
        _("Move spam messages to spam folder and innocent messages to INBOX");
\}

