[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 865c46: Move Theme and ThemeManager into the Theme namespace