Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 3ab68f954cbeb0b7751fe00853937020d33dc488 https://github.com/phpmyadmin/phpmyadmin/commit/3ab68f954cbeb0b7751fe0085393... Author: Michal Čihař <mcihar@suse.cz> Date: 2013-02-14 (Thu, 14 Feb 2013) Changed paths: M themes/pmahomme/css/codemirror.css.php Log Message: ----------- Reintroduce missing CodeMirror CSS to fix selection highlighting (bug #3790)