Subversion Repositories wimsdev

Last modification

• Rev 15152 – 1853 d 17 h
• Author: obado

• Log message:

  [JS] Upgrade some 3rd party libraries :
  * CodeMirror 5.48.4 => 5.54
  * CodeMirror : add neat + zenburn themes
  * what-input v5.2.7 => v5.2.10
  * jquery 3.4.1 => 3.5.1
  * marked 0.8 => 1.1.0