Index: chrome/content/ui/filters-backup.js |
=================================================================== |
--- a/chrome/content/ui/filters-backup.js |
+++ b/chrome/content/ui/filters-backup.js |
@@ -312,17 +312,17 @@ |
list.push(filter.text); |
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) |
+ if (filter instanceof ElemHideEmulationFilter && 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"; |
} |