[phpMyAdmin Git] [phpmyadmin/phpmyadmin] ec4706: Fix codemirror colors for the Bootstrap theme