[phpMyAdmin Git] [phpmyadmin/phpmyadmin] eb41be: Upgrade codemirror and jquery-migrate