Fatal error: Uncaught Error: Class "PhpMyAdmin\Properties\Options\OptionsPropertyGroup" not found in /usr/share/phpmyadmin/libraries/classes/Properties/Options/Groups/OptionsPropertyMainGroup.php:12 Stack trace: #0 {main} thrown in /usr/share/phpmyadmin/libraries/classes/Properties/Options/Groups/OptionsPropertyMainGroup.php on line 12