Symphony October 30, 2020 Update: the PHP software selector shows 7.1. But if I go into PHPMyadmin, it shows the webserver PHP version as 7.3.6. Could this have an effect? Or is that something different?