Web MIDI: make Chrome a music platform

chrome/browser/resources/options/content_settings.js

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 cr.exportPath('options');
 
 /**
  * @typedef {{appId: string,
  *            appName: (string|undefined),
  *            embeddingOrigin: (string|undefined),
@@ skipping 275 matching lines @@
    * Shows/hides the link to the Pepper Flash camera and microphone
    * site-specific settings.
    * Please note that whether the link is actually showed or not is also
    * affected by the style class pepper-flash-settings.
    */
   ContentSettings.showMediaPepperFlashExceptionsLink = function(show) {
     $('media-pepper-flash-exceptions').hidden = !show;
   };
 
   /**
-   * Shows/hides the whole Web MIDI settings.
-   * @param {boolean} show Wether to show the whole Web MIDI settings.
-   */
-  ContentSettings.showExperimentalWebMIDISettings = function(show) {
-    $('experimental-web-midi-settings').hidden = !show;
-  };
-
-  /**
    * Updates the microphone/camera devices menu with the given entries.
    * @param {string} type The device type.
    * @param {Array} devices List of available devices.
    * @param {string} defaultdevice The unique id of the current default device.
    */
   ContentSettings.updateDevicesMenu = function(type, devices, defaultdevice) {
     var deviceSelect = '';
     if (type == 'mic') {
       deviceSelect = $('media-select-mic');
     } else if (type == 'camera') {
@@ skipping 46 matching lines @@
     var deviceSelect = $('media-select-camera');
     chrome.send('setDefaultCaptureDevice', ['camera', deviceSelect.value]);
   };
 
   // Export
   return {
     ContentSettings: ContentSettings
   };
 
 });