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