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

Unified Diff: Source/devtools/front_end/es6.js

Issue 1264133002: Devtools: [WIP] Implement enhanced devtools extension language APIs Base URL: https://chromium.googlesource.com/chromium/blink.git@master
Patch Set: Modify override dropdown to apply to console completions & transpile Created 5 years, 4 months 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: Source/devtools/front_end/es6.js
diff --git a/Source/devtools/front_end/es6.js b/Source/devtools/front_end/es6.js
index 068868f78dabab86fff1d44c4845d70dd5228439..6bbef97a7a8412643108dc1e295720f95abfd714 100644
--- a/Source/devtools/front_end/es6.js
+++ b/Source/devtools/front_end/es6.js
@@ -37,6 +37,12 @@ function Symbol(description) {}
/** @const {symbol} */
Symbol.iterator;
+/**
+ * @param {string} name
+ * @return {symbol}
+ */
+Symbol.for;
+
/**
* @interface

Powered by Google App Engine
This is Rietveld 408576698