Index: chrome/common/pref_names.cc |
diff --git a/chrome/common/pref_names.cc b/chrome/common/pref_names.cc |
index e717ab43bf2fc13b14d0d339f8ef4a0dee8fc487..89fd24d1e939200ecc55c8b4038a6d69634db6fa 100644 |
--- a/chrome/common/pref_names.cc |
+++ b/chrome/common/pref_names.cc |
@@ -319,6 +319,7 @@ const char kWebKitSansSerifFontFamilyTraditionalHan[] = |
// WebKit preferences. |
const char kWebKitWebSecurityEnabled[] = "webkit.webprefs.web_security_enabled"; |
const char kWebKitDomPasteEnabled[] = "webkit.webprefs.dom_paste_enabled"; |
+// Deprecated 8/2016. |
Lei Zhang
2016/09/06 20:44:53
Ditto, September, unless there's a -144 timezone I
Jinsuk Kim
2016/09/06 21:19:39
Done.
|
const char kWebKitUsesUniversalDetector[] = |
"webkit.webprefs.uses_universal_detector"; |
const char kWebKitTextAreasAreResizable[] = |