This time i have a strange one:
i Installed Debian 9.4 with PHP 7.0, then added 5.6 for compatibility. Then i had upgrademessages for various packages, and did a bulk update. Which added PHP 7.2 to the system.
Interestingly enough, Webmin shows both PHP 7.x versions, but not 5.6. On the other hand Virtualmin shows all three of them.
I really don't know, what to make out of this.
Do we talk about a bug or is it by design?
Thanks and best