| 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); |