Update Codemirror assets from 5.31.0 to 5.40.0

Author: xaviqv

src/Helpers/Cdn.php

@@ -10,7 +10,7 @@
  */
 class Cdn
 {
-    const CodeMirror = '5.31.0';
+    const CodeMirror = '5.40.0';
     const Summernote = '0.8.10';
     const FontAwesome = '5.2.0';
 

src/Public/css/codemirror/codemirror-5.40.0-monokai.min.css

@@ -65,6 +65,10 @@ h1, h2, h3, h4, h5, h6 {
 	border-radius : .2rem;
 }
 
+.fa {
+	color: gray;
+}
+
 /* Filter panel */
 #filter_panel {
 	margin: 0em 0em 0.8em 0em;