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

Fix button id to be more distinctive for easier styling

Browse Source
This commit is contained in:
Ilia Ross
2025-01-31 19:38:17 +02:00
parent 198b25e3a3
commit 121b20caa0
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
fetchmail/index.cgi
View File

@@ -135,7 +135,7 @@ $bottom_form = 'data-outside-of-viewport' if ($bottom);
if ($access{'mode'} != 3 || !$doneheader) {
print &ui_form_start("edit_poll.cgi", "get", undef, $bottom_form);
print &ui_hidden("view", 1);
print &ui_submit($text{'index_ok'});
print &ui_submit($text{'index_fadd'});
print &unix_user_input("user");
print &ui_form_end();
}

2
fetchmail/lang/en
View File

@@ -8,7 +8,7 @@ index_run=Check all servers
index_global=Edit default settings.
index_user=Unix user
index_conf=Fetchmail configuration
index_ok=Add Fetchmail server for user:
index_fadd=Add Fetchmail server for user
index_file=Fetchmail configuration in $1
index_return=server list
index_start=Start Fetchmail Daemon