[proxies] Use JSReceiver::GetKeys() for more purposes

src/js/macros.py

Index: src/js/macros.py
diff --git a/src/js/macros.py b/src/js/macros.py
index 046596cf97d733f1e91edbb9b2c0610266bce6cd..9e1b75fe708f5297ff4d2d128a8d2c2d4279586b 100644
--- a/src/js/macros.py
+++ b/src/js/macros.py
@@ -273,10 +273,11 @@ define COMPILATION_TYPE_JSON = 2;
 # Matches Messages::kNoLineNumberInfo from v8.h
 define kNoLineNumberInfo = 0;
 
-# Deprecated, do not use. Will be replaced by PropertyFilter.
-define PROPERTY_ATTRIBUTES_STRING = 8;
-define PROPERTY_ATTRIBUTES_SYMBOLIC = 16;
-define PROPERTY_ATTRIBUTES_PRIVATE_SYMBOL = 32;
+# Must match PropertyFilter in property-details.h
+define PROPERTY_FILTER_NONE = 0;
+define PROPERTY_FILTER_ONLY_ENUMERABLE = 2;
+define PROPERTY_FILTER_SKIP_STRINGS = 8;
+define PROPERTY_FILTER_SKIP_SYMBOLS = 16;
 
 # Use for keys, values and entries iterators.
 define ITERATOR_KIND_KEYS = 1;