Remove unused globals
By using the script in crrev.com/c/devtools/devtools-frontend/+/1942289
we can prune all globals that are not actually global. Most of these are
internal private variables that are now module-scoped. Some variables
were also completely unused, which ESLint nicely reported.
Change-Id: I43689ac7544ad1239acc7d0eeec4dcd563d7fea9
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/1942290
Commit-Queue: Tim van der Lippe <[email protected]>
Reviewed-by: Paul Lewis <[email protected]>
diff --git a/front_end/ui/SettingsUI.js b/front_end/ui/SettingsUI.js
index 5bd9117..da57a8a 100644
--- a/front_end/ui/SettingsUI.js
+++ b/front_end/ui/SettingsUI.js
@@ -64,7 +64,7 @@
* @param {string=} subtitle
* @return {!Element}
*/
-export const createSettingSelect = function(name, options, setting, subtitle) {
+const createSettingSelect = function(name, options, setting, subtitle) {
const settingSelectElement = createElement('p');
const label = settingSelectElement.createChild('label');
const select = settingSelectElement.createChild('select', 'chrome-select');
@@ -197,15 +197,6 @@
UI.SettingsUI.createSettingCheckbox = createSettingCheckbox;
/**
- * @param {string} name
- * @param {!Array<!{text: string, value: *, raw: (boolean|undefined)}>} options
- * @param {!Common.Setting} setting
- * @param {string=} subtitle
- * @return {!Element}
- */
-UI.SettingsUI.createSettingSelect = createSettingSelect;
-
-/**
* @param {!Element} input
* @param {!Common.Setting} setting
*/
