Extensions Docs Server: Fix headings with no IDs

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

Index: chrome/common/extensions/docs/templates/articles/options.html
diff --git a/chrome/common/extensions/docs/templates/articles/options.html b/chrome/common/extensions/docs/templates/articles/options.html
index 11ee005618a7dc2d95cbe9962118918d76871d59..98a86a70f5fe804686aef0d2cb4165f4727baced 100644
--- a/chrome/common/extensions/docs/templates/articles/options.html
+++ b/chrome/common/extensions/docs/templates/articles/options.html
@@ -2,7 +2,7 @@
 
 <p>To allow users to customize the behavior of your extension, you may wish to provide an options page. If you do, a link to it will be provided from the extensions management page at chrome://extensions. Clicking the Options link opens a new tab pointing at your options page.
 
-<h2>Step 1: Declare your options page in the manifest</h2>
+<h2 id="step_1">Step 1: Declare your options page in the manifest</h2>
 
 <pre>{
   "name": "My extension",
@@ -12,7 +12,7 @@
 }</pre>
 
 
-<h2>Step 2: Write your options page</h2>
+<h2 id="step_2">Step 2: Write your options page</h2>
 
 Here is an example options page:
 
@@ -73,7 +73,7 @@ Favorite Color:
 &lt;/html>
 </pre>
 
-<h2>Important notes</h2>
+<h2 id="important_notes">Important notes</h2>
 <ul>
 <li>We plan on providing some default css styles to encourage a consistent look across different extensions' options pages. You can star <a href="http://crbug.com/25317">crbug.com/25317</a> to be notified of updates.</li>
-</ul>
+</ul>