DevTools: carefully cleanup javascript sourcemaps

third_party/WebKit/Source/devtools/front_end/sdk/RuntimeModel.js

 /*
  * Copyright (C) 2012 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 105 matching lines @@
     this.dispatchEventToListeners(SDK.RuntimeModel.Events.ExecutionContextCreated, executionContext);
   }
 
   /**
    * @param {number} executionContextId
    */
   _executionContextDestroyed(executionContextId) {
     var executionContext = this._executionContextById.get(executionContextId);
     if (!executionContext)
       return;
+    this.debuggerModel().executionContextDestroyed(executionContext);
     this._executionContextById.delete(executionContextId);
     this.dispatchEventToListeners(SDK.RuntimeModel.Events.ExecutionContextDestroyed, executionContext);
   }
 
   fireExecutionContextOrderChanged() {
     this.dispatchEventToListeners(SDK.RuntimeModel.Events.ExecutionContextOrderChanged, this);
   }
 
   _executionContextsCleared() {
     this.debuggerModel().globalObjectCleared();
@@ skipping 735 matching lines @@
         this._type === 'wheel';
   }
 };
 
 /** @enum {string} */
 SDK.EventListener.Origin = {
   Raw: 'Raw',
   Framework: 'Framework',
   FrameworkUser: 'FrameworkUser'
 };