[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 618003: Improve type definition of Config::$settings array