Index: chrome/common/extensions/docs/static/experimental.devtools.html |
diff --git a/chrome/common/extensions/docs/static/experimental.devtools.html b/chrome/common/extensions/docs/static/experimental.devtools.html |
index fadafa4863e58a14a7d632072eabbde3b472cd56..a95ac7f95aa34dd95e7f2a5da6f31fcf62e22b8c 100644 |
--- a/chrome/common/extensions/docs/static/experimental.devtools.html |
+++ b/chrome/common/extensions/docs/static/experimental.devtools.html |
@@ -71,3 +71,11 @@ For information on the standard APIs that extensions can use, see |
<a href="api_index.html">chrome.* APIs</a> and |
<a href="api_other.html">Other APIs</a>. |
</p> |
+ |
+<h2 id="examples">Examples</h2> |
+ |
+<p> |
+You can find examples that use Developer Tools APIs in |
+<a href="samples.html#devtools">Samples</a>. |
+</p> |
+ |