[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 2c2127: Rename PMA_Theme global variable to theme