get rid of old options pages

chrome/browser/resources/options/extension_settings.html

Index: chrome/browser/resources/options/extension_settings.html
diff --git a/chrome/browser/resources/options/extension_settings.html b/chrome/browser/resources/options/extension_settings.html
deleted file mode 100644
index 2858316e0d5f63d8b4626ec5701167b3286c4b23..0000000000000000000000000000000000000000
--- a/chrome/browser/resources/options/extension_settings.html
+++ /dev/null
@@ -1,40 +0,0 @@
-<div id="extension-settings" class="page" hidden>
-  <h1 i18n-content="extensionSettings"></h1>
-  <div id="dev-toggle">
-    <input id="toggle-dev-on" type="checkbox" value="off"></input>
-    <label for="toggle-dev-on" i18n-content="extensionSettingsDeveloperMode" />
-  </div>
-  <div class="displaytable">
-    <div id="dev" class="dev-closed">
-      <table id="dev-table" width="100%">
-        <tr>
-          <td>
-            <button id="load-unpacked"
-                    i18n-content="extensionSettingsLoadUnpackedButton"></button>
-            <button id="pack-extension"
-                    i18n-content="extensionSettingsPackButton"></button>
-          </td>
-          <td align="right">
-            <button id="update-extensions-now"
-                    i18n-content="extensionSettingsUpdateButton"></button>
-          </td>
-        </tr>
-      </table>
-    </div>
-    <section class="extension-settings-content">
-      <div class="extension-settings">
-        <list id="extension-settings-list"></list>
-      </div>
-    </section>
-  </div>
-  <section>
-    <div><strong id="no-extensions"
-                 i18n-content="extensionSettingsNoExtensions"
-                 hidden="true"></strong></div>
-    <div id="suggest-gallery" hidden="true"></div>
-    <div id="get-more-extensions-container" hidden="true">
-      <img src="chrome://theme/IDR_WEBSTORE_ICON_32">
-      <div id="get-more-extensions"></div>
-    </div>
-  </section>
-</div>