michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-02-03 14:13:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Get the actual version if one cannot be guessed from the config file path

Browse Source 
https://github.com/virtualmin/virtualmin-gpl/issues/1151
This commit is contained in:
Jamie Cameron
2025-11-10 19:25:48 -08:00
parent 2133d5d4bf
commit 06f75db35f
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
status/phpini-monitor.pl
View File

@@ -34,7 +34,8 @@ sub show_phpini_dialog
my ($serv) = @_;
&foreign_require("phpini");
my @files = grep { $_->[1] }
map { [ $_->[0], &phpini::get_php_ini_version($_->[0]) ] }
map { [ $_->[0], &phpini::get_php_ini_version($_->[0]) ||
&phpini::get_php_binary_version($_->[0]) ] }
&phpini::list_php_configs();
my %donever;
@files = grep { !$donever{$_->[1]}++ } @files;