Update CodeMirror to 5.13.5

1 files changed, 1 insertions, 1 deletions

diff --git a/public/vendor/codemirror/mode/properties/properties.js b/public/vendor/codemirror/mode/properties/properties.js
index 9da5baf4..ef8bf37e 100644
--- a/public/vendor/codemirror/mode/properties/properties.js
+++ b/public/vendor/codemirror/mode/properties/properties.js
@@ -34,7 +34,7 @@ CodeMirror.defineMode("properties", function() {
       }
 
       if (sol) {
-        while(stream.eatSpace());
+        while(stream.eatSpace()) {}
       }
 
       var ch = stream.next();