| Index: chrome/common/extensions/docs/server2/templates/articles/devtools.html
|
| diff --git a/chrome/common/extensions/docs/server2/templates/intros/devtools.html b/chrome/common/extensions/docs/server2/templates/articles/devtools.html
|
| similarity index 98%
|
| rename from chrome/common/extensions/docs/server2/templates/intros/devtools.html
|
| rename to chrome/common/extensions/docs/server2/templates/articles/devtools.html
|
| index 416e066042335dfd25b88ae7f07a3f72f03741ff..7654cc50bd8fe108eba9a54d76ec49ddd9ae3564 100644
|
| --- a/chrome/common/extensions/docs/server2/templates/intros/devtools.html
|
| +++ b/chrome/common/extensions/docs/server2/templates/articles/devtools.html
|
| @@ -1,3 +1,5 @@
|
| +<h1>chrome.devtools.* APIs</h1>
|
| +
|
| <p>
|
| The following API modules provide support for extending
|
| Chrome Developer Tools:
|
| @@ -69,4 +71,4 @@ For information on the standard APIs that extensions can use, see
|
| <p>
|
| You can find examples that use Developer Tools APIs in
|
| <a href="samples.html#devtools">Samples</a>.
|
| -</p>
|
| +</p>
|
|
|