Grav Installer claims to require PHP 7.6

Grrav CMS requires - according to the docs - PHP 7.1.3 or higher.

When I try to install Grav 1.7.12, the install script says "Grav requires PHP version 7.6.3 or later". This is - to the best of my knowledge - wrong. Where does this information come from?

Besides I am running several instances of Grav without any problems.

Status: 
Fixed (pending)
Virtualmin version: 
6.15
Webmin version: 
1.973

Comments

Thanks, we'll fix this ... it should be 7.1.3