phpmyadmin

mirror of https://github.com/phpmyadmin/phpmyadmin.git synced 2026-10-31 10:54:46 +03:00

Files

Michal Čihař 18db5aa881 Upgrade to CodeMirror version 2.38

There is no real change (it was only in modes we don't use).

2013-02-14 15:24:42 +01:00

codemirror.js

2013-02-14 15:24:42 +01:00