| Index: chrome/common/extensions/docs/server2/templates/intros/devtools.html
|
| diff --git a/chrome/common/extensions/docs/server2/templates/intros/devtools.html b/chrome/common/extensions/docs/server2/templates/intros/devtools.html
|
| index a39e727909b8ead26d636055349cdba8503c448f..3a17fd9ff854a2084e3eab34addc64ff44a60e41 100644
|
| --- a/chrome/common/extensions/docs/server2/templates/intros/devtools.html
|
| +++ b/chrome/common/extensions/docs/server2/templates/intros/devtools.html
|
| @@ -2,7 +2,6 @@
|
| The following API modules provide support for extending
|
| Chrome Developer Tools:
|
| </p>
|
| -
|
| <a name="api-list"></a>
|
| <ul>
|
| <li>
|
| @@ -10,9 +9,7 @@ Chrome Developer Tools:
|
| <a href="devtools.network.html">devtools.network</a></li><li>
|
| <a href="devtools.panels.html">devtools.panels</a></li>
|
| </ul>
|
| -
|
| <h2 id="using">How to use DevTools APIs</h2>
|
| -
|
| <ol>
|
| <li>
|
| Specify the "devtools_page" field in your extension's manifest:
|
| @@ -55,18 +52,14 @@ Chrome Developer Tools:
|
| Your comments and suggestions help us improve the APIs.
|
| </li>
|
| </ol>
|
| -
|
| <h2 id="other">More information</h2>
|
| -
|
| <p>
|
| 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>
|
| +</p>
|
|
|