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