Extension Doc Changes (no building or testable changes)

chrome/common/extensions/docs/options.html

Index: chrome/common/extensions/docs/options.html
diff --git a/chrome/common/extensions/docs/options.html b/chrome/common/extensions/docs/options.html
index 3d102071252d1f505ee0559d4fd2e8c512b6b374..51735946ef5951f83b3a1631dad03c63d2660c59 100644
--- a/chrome/common/extensions/docs/options.html
+++ b/chrome/common/extensions/docs/options.html
@@ -189,7 +189,7 @@
 
     <div class="g-unit" id="gc-pagecontent">
       <div id="pageTitle">
-        <h1 class="page_title">Options - Google Chrome Extensions - Google Code</h1>
+        <h1 class="page_title">Options</h1>
       </div>
         <!-- TABLE OF CONTENTS -->
         <div id="toc">
@@ -261,7 +261,7 @@
         <!-- /TABLE OF CONTENTS -->
 
         <!-- STATIC CONTENT PLACEHOLDER -->
-        <div id="static"><div id="pageData-title" class="pageData">Options</div>
+        <div id="static"><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.