php8.0-rc not detected

Php8.0-rc is not detected by virtualmin

# php8.0 -v
PHP 8.0.0rc1 (cli) (built: Oct 18 2020 19:44:50) ( NTS )
Copyright (c) The PHP Group
Zend Engine v4.0.0-dev, Copyright (c) Zend Technologies
    with Zend OPcache v8.0.0rc1, Copyright (c), by Zend Technologies
 The following PHP versions are available : 5.6.40 (/bin/php-cgi5.6), 7.0.33 (/bin/php-cgi7.0), 7.1.33 (/bin/php-cgi7.1), 7.2.34 (/bin/php-cgi7.2), 7.3.23 (/bin/php-cgi7.3), 7.4.11 (/bin/php-cgi7.4), 7.0 (mod_php)

The following PHP execution modes are available : mod_php cgi fcgid fpm

The following PHP-FPM versions are available on this system : 5.6.40 (php5.6-fpm) 7.0.33 (php7.0-fpm) 7.1.33 (php7.1-fpm) 7.2.34 (php7.2-fpm) 7.3.19 (php7.3-fpm) 7.4.11 (php7.4-fpm)

PHP versions have changed to 5.6, 7.0, 7.0, 7.1, 7.2, 7.3, 7.4 since last check. Regenerating any missing php.ini files.
Status: 
Active
Virtualmin version: 
6.12
Webmin version: 
1.955

Comments

Thanx, that worked

With PHP8.0 released yesterday, Virtualmin 6.13 on CentOS 8 doesn't appear to pick it up when re-checking configuration. Do you know when this will be available in a released version of Virtualmin?

Jumping in to get the notifications, I'm interested too :-)

(the patch seems to work on Debian 10 systems)