Index: chrome/content/ui/filters-backup.js |
=================================================================== |
--- a/chrome/content/ui/filters-backup.js |
+++ b/chrome/content/ui/filters-backup.js |
@@ -314,16 +314,23 @@ var Backup = |
if (filter instanceof ElemHideException && Services.vc.compare(minVersion, "2.1") < 0) |
minVersion = "2.1"; |
if (filter instanceof RegExpFilter && filter.contentType & (RegExpFilter.typeMap.GENERICHIDE | RegExpFilter.typeMap.GENERICBLOCK) && Services.vc.compare(minVersion, "2.6.12") < 0) |
minVersion = "2.6.12"; |
if (filter instanceof CSSPropertyFilter && Services.vc.compare(minVersion, "2.7.3") < 0) |
minVersion = "2.7.3"; |
+ |
+ if (filter instanceof RegExpFilter && |
+ (filter.contentType & RegExpFilter.typeMap.WEBSOCKET) && |
+ Services.vc.compare(minVersion, "2.8")) |
+ { |
+ minVersion = "2.8"; |
+ } |
} |
} |
list.unshift("[Adblock Plus " + minVersion + "]"); |
// Insert checksum. Have to add an empty line to the end of the list to |
// account for the trailing newline in the file. |
list.push(""); |
let checksum = Utils.generateChecksum(list); |