Remove .html extension from links

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

Index: chrome/common/extensions/docs/templates/intros/permissions.html
diff --git a/chrome/common/extensions/docs/templates/intros/permissions.html b/chrome/common/extensions/docs/templates/intros/permissions.html
index 09d7f5b0262c73f269feca40f7573df68a605196..d7d2c479136bd0fe5ac4b7a458eceb307d439201 100644
--- a/chrome/common/extensions/docs/templates/intros/permissions.html
+++ b/chrome/common/extensions/docs/templates/intros/permissions.html
@@ -36,9 +36,9 @@ Advantages of <em>optional</em> permissions:
 
 <h3 id="manifest"> Step 2: Declare optional permissions in the manifest </h3>
 <p>
-  Declare optional permissions in your <a href="manifest.html">extension
+  Declare optional permissions in your <a href="manifest">extension
   manifest</a> with the <code>optional_permissions</code> key, using the
-  same format as the <a href="declare_permissions.html#manifest">permissions</a>
+  same format as the <a href="declare_permissions#manifest">permissions</a>
   field:
 </p>
 
@@ -53,7 +53,7 @@ Advantages of <em>optional</em> permissions:
 
 <p>
 You can specify any of the following as optional
-<a href="declare_permissions.html">permissions</a>:
+<a href="declare_permissions">permissions</a>:
 <ul>
   <li><i>host permissions</i></li>
   <li>background</li>
@@ -108,7 +108,7 @@ document.querySelector('#my-button').addEventListener('click', function(event) {
 
 <p>
   Chrome prompts the user if adding the permissions results in different
-  <a href="permission_warnings.html">warning messages</a> than the user has
+  <a href="permission_warnings">warning messages</a> than the user has
   already seen and accepted. For example, the previous code might result in
   a prompt like this:
 </p>