[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 4fa3f0: Upgrade CodeMirror to 3.13

Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 4fa3f06d23a92b3dd56a0abd569f256b3befd556 https://github.com/phpmyadmin/phpmyadmin/commit/4fa3f06d23a92b3dd56a0abd569… Author: Michal Čihař <mcihar(a)suse.cz> Date: 2013-05-21 (Tue, 21 May 2013) Changed paths: M ChangeLog M js/codemirror/LICENSE M js/codemirror/lib/codemirror.js R js/codemirror/mode/mysql/mysql.js A js/codemirror/mode/sql/sql.js M libraries/Header.class.php M themes/pmahomme/css/codemirror.css.php Log Message: ----------- Upgrade CodeMirror to 3.13