Index: chrome/browser/resources/options2/options.js |
=================================================================== |
--- chrome/browser/resources/options2/options.js (revision 124987) |
+++ chrome/browser/resources/options2/options.js (working copy) |
@@ -51,14 +51,6 @@ |
cr.ui.decorate('span.controlled-setting-indicator', |
options.ControlledSettingIndicator); |
- var menuOffPattern = /(^\?|&)menu=off($|&)/; |
- var menuDisabled = menuOffPattern.test(window.location.search); |
- // document.documentElement.setAttribute('hide-menu', menuDisabled); |
- // We can't use an attribute on the html element because of webkit bug |
- // 12519. Instead, we add a class. |
- if (menuDisabled) |
- document.documentElement.classList.add('hide-menu'); |
- |
localStrings = new LocalStrings(); |
// Top level pages. |