Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(468)

Unified Diff: third_party/WebKit/Source/core/html/HTMLHtmlElement.idl

Issue 2572003003: NOT FOR SUBMIT: use counters for jdm@
Patch Set: Merge branch 'jdm-usecounters' into jdm-merge Created 4 years ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: third_party/WebKit/Source/core/html/HTMLHtmlElement.idl
diff --git a/third_party/WebKit/Source/core/html/HTMLHtmlElement.idl b/third_party/WebKit/Source/core/html/HTMLHtmlElement.idl
index 43de4819f721e8b272668cb20816a94f195b3fa1..a5d9babc0074b15ad717398ade4e1f7d01f16765 100644
--- a/third_party/WebKit/Source/core/html/HTMLHtmlElement.idl
+++ b/third_party/WebKit/Source/core/html/HTMLHtmlElement.idl
@@ -22,5 +22,5 @@
interface HTMLHtmlElement : HTMLElement {
// obsolete members
// https://html.spec.whatwg.org/#HTMLHtmlElement-partial
- [CEReactions, Reflect] attribute DOMString version;
+ [Measure, CEReactions, Reflect] attribute DOMString version;
};

Powered by Google App Engine
This is Rietveld 408576698