| 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>
|
| +
|
|
|