Index: chrome/common/extensions/docs/experimental.devtools.html |
diff --git a/chrome/common/extensions/docs/experimental.devtools.html b/chrome/common/extensions/docs/experimental.devtools.html |
index 85d83b83caa18a6cd34b7ec01d4f45c17f40b168..8c514286f2ec2c938788063ae5297199090f38cd 100644 |
--- a/chrome/common/extensions/docs/experimental.devtools.html |
+++ b/chrome/common/extensions/docs/experimental.devtools.html |
@@ -384,6 +384,14 @@ 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> |
+ |
</div> |
<!-- API PAGE --> |