| Index: chrome/common/extensions/docs/templates/intros/devtools_inspectedWindow.html
|
| diff --git a/chrome/common/extensions/docs/templates/intros/devtools_inspectedWindow.html b/chrome/common/extensions/docs/templates/intros/devtools_inspectedWindow.html
|
| index b89b83c2e2c50a7af88c0c57005d25ec84819aea..69a349334d91752801577206574466d97e22e4a4 100644
|
| --- a/chrome/common/extensions/docs/templates/intros/devtools_inspectedWindow.html
|
| +++ b/chrome/common/extensions/docs/templates/intros/devtools_inspectedWindow.html
|
| @@ -119,5 +119,5 @@ chrome.devtools.inspectedWindow.eval(
|
|
|
| <p>
|
| You can find more examples that use Developer Tools APIs in
|
| -<a href="samples#devtools">Samples</a>.
|
| +<a href="samples#search:devtools">Samples</a>.
|
| </p>
|
|
|