Index: chrome/common/extensions/docs/templates/intros/devtools_inspectedWindow.html |
=================================================================== |
--- chrome/common/extensions/docs/templates/intros/devtools_inspectedWindow.html (revision 159603) |
+++ chrome/common/extensions/docs/templates/intros/devtools_inspectedWindow.html (working copy) |
@@ -10,7 +10,7 @@ |
general introduction to using Developer Tools APIs. |
</p> |
-<h2>Overview</h2> |
+<h2 id="overview">Overview</h2> |
<p> |
The <a href="#property-tabId"><code>tabId</code></a> property |
provides the tab identifier that you can use with the |
@@ -94,4 +94,4 @@ |
<p> |
You can find more examples that use Developer Tools APIs in |
<a href="samples.html#devtools">Samples</a>. |
-</p> |
+</p> |