[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 7e0013: Merge pull request #26 from mynetx/codemirror_enab...

[Marc Delisle]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 7e00134398237d69e2a4367d5b27870047dae7b3
      https://github.com/phpmyadmin/phpmyadmin/commit/7e00134398237d69e2a4367d5b27870047dae7b3
  Author: Marc Delisle <marc at infomarc.info>
  Date:   2012-04-13 (Fri, 13 Apr 2012)

  Changed paths:
    M ChangeLog
    M Documentation.html
    M db_events.php
    M db_routines.php
    M db_sql.php
    M db_triggers.php
    M js/functions.js
    M js/rte/common.js
    M js/server_privileges.js
    M js/server_status.js
    M js/server_status_monitor.js
    M libraries/Theme.class.php
    M libraries/config.default.php
    M libraries/config/messages.inc.php
    M libraries/config/setup.forms.php
    M libraries/config/user_preferences.forms.php
    M querywindow.php
    M server_privileges.php
    M server_sql.php
    M server_status.php
    M sql.php
    M tbl_export.php
    M tbl_sql.php

  Log Message:
  -----------
  Merge pull request #26 from mynetx/codemirror_enable

Allow disabling CodeMirror