DevTools: extract modules (with extensions)

third_party/WebKit/Source/devtools/front_end/sources/EditingLocationHistoryManager.js

 /*
  * Copyright (C) 2014 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 25 matching lines @@
    * @param {!Sources.SourcesView} sourcesView
    * @param {function():?SourceFrame.SourceFrame} currentSourceFrameCallback
    */
   constructor(sourcesView, currentSourceFrameCallback) {
     this._sourcesView = sourcesView;
     this._historyManager = new Sources.SimpleHistoryManager(Sources.EditingLocationHistoryManager.HistoryDepth);
     this._currentSourceFrameCallback = currentSourceFrameCallback;
   }
 
   /**
-   * @param {!Sources.UISourceCodeFrame} sourceFrame
+   * @param {!SourceFrame.UISourceCodeFrame} sourceFrame
    */
   trackSourceFrameCursorJumps(sourceFrame) {
     sourceFrame.textEditor.addEventListener(
         SourceFrame.SourcesTextEditor.Events.JumpHappened, this._onJumpHappened.bind(this));
   }
 
   /**
    * @param {!Common.Event} event
    */
   _onJumpHappened(event) {
@@ skipping 119 matching lines @@
   reveal() {
     var position = this._positionHandle.resolve();
     var uiSourceCode = Workspace.workspace.uiSourceCode(this._projectId, this._url);
     if (!position || !uiSourceCode)
       return;
 
     this._editingLocationManager.updateCurrentState();
     this._sourcesView.showSourceLocation(uiSourceCode, position.lineNumber, position.columnNumber);
   }
 };