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