Index: chrome/locale/en-US/global.properties |
=================================================================== |
--- a/chrome/locale/en-US/global.properties |
+++ b/chrome/locale/en-US/global.properties |
@@ -48,16 +48,17 @@ type_label_popup=pop-up window |
type_label_generichide=generic hide |
type_label_genericblock=generic block |
type_label_xmlhttprequest=XML request |
type_label_object_subrequest=object subrequest |
type_label_media=audio/video |
type_label_font=font |
type_label_ping=ping |
+type_label_websocket=websocket |
mobile_menu_enable=ABP: Enable |
# Note: the placeholder ?1? will be replaced by the site name. Ideally it should be at the end of the string (space is limited and site names can be long). |
mobile_menu_enable_site=ABP: Enable on ?1? |
# Note: the placeholder ?1? will be replaced by the site name. Ideally it should be at the end of the string (space is limited and site names can be long). |
mobile_menu_disable_site=ABP: Disable on ?1? |
notification_antiadblock_title=Hide targeted messages? |