DevTools: rename WebInspector into modules.

third_party/WebKit/Source/devtools/front_end/extensions/ExtensionTraceProvider.js

 /**
  * @unrestricted
  */
-WebInspector.ExtensionTraceProvider = class {
+Extensions.ExtensionTraceProvider = class {
   /**
    * @param {string} extensionOrigin
    * @param {string} id
    * @param {string} categoryName
    * @param {string} categoryTooltip
    */
   constructor(extensionOrigin, id, categoryName, categoryTooltip) {
     this._extensionOrigin = extensionOrigin;
     this._id = id;
     this._categoryName = categoryName;
     this._categoryTooltip = categoryTooltip;
   }
   start() {
-    WebInspector.extensionServer.startTraceRecording(this._id);
+    Extensions.extensionServer.startTraceRecording(this._id);
   }
 
   stop() {
-    WebInspector.extensionServer.stopTraceRecording(this._id);
+    Extensions.extensionServer.stopTraceRecording(this._id);
   }
 };