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