| Index: chrome/common/extensions/docs/templates/intros/devtools_network.html
|
| diff --git a/chrome/common/extensions/docs/templates/intros/devtools_network.html b/chrome/common/extensions/docs/templates/intros/devtools_network.html
|
| index 7af3fdf950c935823bc26570e107396c25ccaf97..33439460c05324239a8d61069f6ab0e5e9e8b40b 100644
|
| --- a/chrome/common/extensions/docs/templates/intros/devtools_network.html
|
| +++ b/chrome/common/extensions/docs/templates/intros/devtools_network.html
|
| @@ -7,7 +7,7 @@ See <a href="devtools.html">DevTools APIs summary</a> for
|
| general introduction to using Developer Tools APIs</a>.
|
| </p>
|
|
|
| -<h2>Overview</h2>
|
| +<h2 id="overview">Overview</h2>
|
|
|
| <p>
|
| Network requests information is represented in the HTTP Archive format
|
| @@ -50,4 +50,4 @@ chrome.devtools.network.onRequestFinished.addListener(
|
| <p>
|
| You can find more examples that use this API in
|
| <a href="samples.html#devtools.network">Samples</a>.
|
| -</p>
|
| +</p>
|
|
|