[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 7de390: Move theme initialization to ThemeManager