phpmyadmin/phpmyadmin — pull request #148 by shamika050 (2013-02-02 11:04:49+00:00)
Title: Bug:https://sourceforge.net/p/phpmyadmin/bugs/3790/

This is for the bug mentioned above.Just eplace the codemirror.js file into, that file in version 3.5.5