VladPolskiy/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2025-07-20 16:48:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

Filter out instances of the same version

Browse Source
This commit is contained in:
Jamie Cameron
2025-06-21 10:39:35 -07:00
parent 8149eef10a
commit 10e8a420c0
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
status/phpini-monitor.pl
View File

@ -36,6 +36,8 @@ my ($serv) = @_;
my @files = grep { $_->[1] }
map { [ $_->[0], &phpini::get_php_ini_version($_->[0]) ] }
&phpini::list_php_configs();
my %donever;
@files = grep { !$donever{$_->[1]}++ } @files;
print &ui_table_row($text{'phpini_file'},
&ui_select("inifile", $serv->{'inifile'}, \@files));
}