diff --git a/edit/editor-worker-body.js b/edit/editor-worker-body.js
index 630b065a..bcca2d05 100644
--- a/edit/editor-worker-body.js
+++ b/edit/editor-worker-body.js
@@ -27,8 +27,13 @@ createAPI({
 function getCsslintRules() {
   loadScript(['/vendor-overwrites/csslint/csslint.js']);
   return CSSLint.getRules().map(rule => {
-    delete rule.init;
-    return rule;
+    const output = {};
+    for (const [key, value] of Object.entries(rule)) {
+      if (typeof value !== 'function') {
+        output[key] = value;
+      }
+    }
+    return output;
   });
 }