michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-02-03 14:13:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge branch 'master' of github.com:webmin/webmin

Browse Source
This commit is contained in:
Jamie Cameron
2020-07-12 15:11:46 -07:00
parent b871dcf4c3 1b0242c4e2
commit 76cc260c7e
1 changed files with 1 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
mailboxes/config_info.pl
View File

@@ -4,13 +4,10 @@ sub show_userIgnoreList
{
my($ig_usr) = shift(@_) || '';
$ig_usr =~ s/\t/\n/g;
my($preta) = '<TEXTAREA NAME="ignore_users" COLS="35" ROWS="4">';
my($postta) = '</TEXTAREA>';
my($preta) = "<input name=\"ignore_users\" value=\"$ig_usr\" size=\"50\">";
return
$preta .
$ig_usr .
$postta .
'&nbsp;' .
&user_chooser_button("ignore_users", 1);
}