Extension Doc Changes (no building or testable changes)

chrome/common/extensions/docs/static/options.html

-<div id="pageData-title" class="pageData">Options</div>
+<div id="pageData-name class="pageData">Options</div>
 <div id="pageData-showTOC" class="pageData">true</div>
 <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>
 
 <pre>{
   "name": "Test Extension",
   "version": "1.0",
   "description": "This is a test",
   <b>"options_page": "options.html"</b>
@@ skipping 56 matching lines @@
 &lt;button onclick="save_options()">Save&lt;/button>
 &lt;/body>
 &lt;/html>
 </pre>
 
 <h2>Important notes</h2>
 <ul>
 <li>This feature is checked in to the trunk and should land in official builds sometime <b>after</b> version 4.0.222.x.</li>
 <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>