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

No need for heading in default table mode

Browse Source
This commit is contained in:
Ilia Rostovtsev
2022-02-10 15:27:06 +03:00
parent 7474f4399f
commit b54a6388ba
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
mysql/index.cgi
View File

@@ -142,7 +142,9 @@ else {
}
&main_header(&get_remote_mysql_variant());
print &ui_subheading($text{'index_dbs'}) if ($access{'perms'});
print &ui_subheading($text{'index_dbs'})
if ($access{'perms'} &&
$displayconfig{'style'} != 1);
if ($in{'search'}) {
# Limit to those matching search
@titles = grep { /\Q$in{'search'}\E/i } @titles;