michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-03-20 08:40:24 +00:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

ui_hr

Browse Source
This commit is contained in:
Joe Cooper
2008-05-10 03:09:08 +00:00
parent 5325b59fbc
commit 48445ebb60
44 changed files with 84 additions and 84 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cluster-software/edit_pack.cgi
View File

@@ -89,7 +89,7 @@ if (!$pinfo[7]) {
print "</tr> </table><p>\n";
# Show hosts with the package
print "<hr>\n";
print &ui_hr();
print &ui_subheading($text{'edit_hosts'});
@icons = map { "/servers/images/$_->{'type'}.gif" } @got;
@links = map { "edit_host.cgi?id=$_->{'id'}" } @got;