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

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

Browse Source
This commit is contained in:
Jamie Cameron
2022-02-11 22:24:04 -08:00
parent aad57cca7c b54a6388ba
commit d44df676bf
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;