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

[Michal Čihař]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 4fa3f06d23a92b3dd56a0abd569f256b3befd556
      https://github.com/phpmyadmin/phpmyadmin/commit/4fa3f06d23a92b3dd56a0abd569f256b3befd556
  Author: Michal Čihař <mcihar at 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