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

Don't show useless heading

Browse Source
This commit is contained in:
Jamie Cameron
2007-12-16 05:58:12 +00:00
parent e54e181ab6
commit 8f0d5f3278
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
postgresql/index.cgi
View File

@@ -150,7 +150,7 @@ else {
}
&main_header();
print &ui_subheading($text{'index_dbs'});
print &ui_subheading($text{'index_dbs'}) if ($access{'users'});
if ($in{'search'}) {
# Limit to those matching search
@titles = grep { /\Q$in{'search'}\E/i } @titles;