Remove .html extension from links

chrome/common/extensions/docs/templates/intros/devtools_panels.html

Index: chrome/common/extensions/docs/templates/intros/devtools_panels.html
diff --git a/chrome/common/extensions/docs/templates/intros/devtools_panels.html b/chrome/common/extensions/docs/templates/intros/devtools_panels.html
index 4389eb12f87c0ea2be5e50cb43b3247415b9ab7e..2d59be8e72d61d94dfa08c313984553e4399919c 100644
--- a/chrome/common/extensions/docs/templates/intros/devtools_panels.html
+++ b/chrome/common/extensions/docs/templates/intros/devtools_panels.html
@@ -1,5 +1,5 @@
 <p>
-See <a href="devtools.html">DevTools APIs summary</a> for
+See <a href="devtools">DevTools APIs summary</a> for
 general introduction to using Developer Tools APIs.
 </p>
 
@@ -9,10 +9,10 @@ general introduction to using Developer Tools APIs.
 Each extension panel and sidebar is displayed as a separate HTML page. All
 extension pages displayed in the Developer Tools window have access to all
 modules in <code>chrome.devtools</code> API, as well as to
-<a href="extension.html">chrome.extension</a> API. Other extension APIs are not
+<a href="extension">chrome.extension</a> API. Other extension APIs are not
 available to the pages within Developer Tools window, but you may invoke them
 by sending a request to the background page of your extension, similarly to how
-it's done in the <a href="overview.html#contentScripts">content scripts</a>.
+it's done in the <a href="overview#contentScripts">content scripts</a>.
 </p><p>
 You can use the <code>$(ref:devtools.panels.setOpenResourceHandler)
 </code> method to install a
@@ -24,23 +24,23 @@ open requests. If an extension calls <code>setOpenResourceHandler()</code>
 multiple times, only the last handler is retained.
 </p>
 <h2 id="overview-examples">Examples</h2>
-<p>The following code adds a panel contained in <code>Panel.html</code>,
+<p>The following code adds a panel contained in <code>Panel</code>,
 represented by <code>FontPicker.png</code> on the Developer Tools toolbar
 and labeled as <em>Font Picker</em>:</p>
 
 <pre>
 chrome.devtools.panels.create("Font Picker",
                               "FontPicker.png",
-                              "Panel.html"
+                              "Panel"
                               function(panel) { ... });
 </pre>
 <p>The following code adds a sidebar pane contained in
-<code>Sidebar.html</code> and titled <em>Font Properties</em> to the Elements
+<code>Sidebar</code> and titled <em>Font Properties</em> to the Elements
 panel, then sets its height to <code>8ex</code>:
 <pre>
 chrome.devtools.panels.elements.createSidebarPane("Font Properties",
     function(sidebar) {
-      sidebar.setPage("Sidebar.html");
+      sidebar.setPage("Sidebar");
       sidebar.setHeight("8ex");
     });
 </pre>
@@ -56,5 +56,5 @@ Developer Tools window:
 
 <p>
 You can find examples that use this API in
-<a href="samples.html#chrome-query">Samples</a>.
+<a href="samples#chrome-query">Samples</a>.
 </p>