Remove .html extension from links

chrome/common/extensions/docs/templates/articles/devtools.html

Index: chrome/common/extensions/docs/templates/articles/devtools.html
diff --git a/chrome/common/extensions/docs/templates/articles/devtools.html b/chrome/common/extensions/docs/templates/articles/devtools.html
index 0d1b88b86c41745a1c07fb2cd13fd0f6a0915009..0c75f50873bd754ce15f2d94788573db1159c18d 100644
--- a/chrome/common/extensions/docs/templates/articles/devtools.html
+++ b/chrome/common/extensions/docs/templates/articles/devtools.html
@@ -47,7 +47,7 @@ APIs.</li>
 access to the same subset of the <code>$(ref:extension)</code>
 and <code>$(ref:runtime)</code>
 APIs that a content script has access to. Like a content script, a DevTools page
-can communicate with the background page using <a href="messaging.html">Message Passing</a>.
+can communicate with the background page using <a href="messaging">Message Passing</a>.
 For an example, see <a href="#injecting">Injecting a Content Script</a>.</p>
 
 <h2 id="creating">Creating a DevTools Extension</h2>
@@ -60,7 +60,7 @@ field in the extension manifest:</p>
   "name": ...
   "version": "1.0",
   "minimum_chrome_version": "10.0",
-  "devtools_page": "devtools.html",
+  "devtools_page": "devtools",
   ...
 }
 </pre>
@@ -81,7 +81,7 @@ DevTools window.</p>
 
 <p>
 There are also some DevTools APIs that are still experimental.
-Refer to <a href="http://developer.chrome.com/extensions/experimental.html">chrome.experimental.*
+Refer to <a href="http://developer.chrome.com/extensions/experimental">chrome.experimental.*
 APIs</a> for the list of
 experimental APIs and guidelines on how to use them.</p>
 
@@ -114,7 +114,7 @@ images, and so on). Creating a basic panel looks like this:
 <pre>
 chrome.devtools.panels.create("My Panel",
     "MyPanelIcon.png",
-    "Panel.html",
+    "Panel",
     function(panel) {
       // code invoked on panel creation
     }
@@ -402,8 +402,8 @@ var backgroundPageConnection = chrome.runtime.connect({
 <h2 id="more">More information</h2>
 
 <p>For information on the standard APIs that extensions can use, see
-<a href="http://developer.chrome.com/extensions/api_index.html">chrome.* APIs</a>
-and <a href="http://developer.chrome.com/extensions/api_other.html">Other APIs</a>.
+<a href="http://developer.chrome.com/extensions/api_index">chrome.* APIs</a>
+and <a href="http://developer.chrome.com/extensions/api_other">Other APIs</a>.
 </p>
 
 <p>
@@ -414,5 +414,5 @@ Your comments and suggestions help us improve the APIs.</p>
 <h2 id="examples">Examples</h2>
 
 <p>You can find examples that use DevTools APIs in
-<a href="http://developer.chrome.com/extensions/samples.html#devtools">Samples</a>.
+<a href="http://developer.chrome.com/extensions/samples#devtools">Samples</a>.
 </p>