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