[DevTools] Make NetworkLog a singleton, and not an SDKModel

third_party/WebKit/Source/devtools/front_end/sdk/HAREntry.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 55 matching lines @@
       time: this._request.timing ? SDK.HAREntry._toMilliseconds(this._request.duration) : 0,
       request: this._buildRequest(),
       response: this._buildResponse(),
       cache: {},  // Not supported yet.
       timings: this._buildTimings(),
       serverIPAddress: ipAddress
     };
 
     if (this._request.connectionId !== '0')
       entry.connection = this._request.connectionId;
-    var page = SDK.NetworkLog.pageLoadForRequest(this._request);
+    var page = SDK.networkLog.pageLoadForRequest(this._request);
     if (page)
       entry.pageref = 'page_' + page.id;
     return entry;
   }
 
   /**
    * @return {!Object}
    */
   _buildRequest() {
     var headersText = this._request.requestHeadersText();
@@ skipping 211 matching lines @@
   }
 
   /**
    * @return {!Array.<!Object>}
    */
   _buildPages() {
     var seenIdentifiers = {};
     var pages = [];
     for (var i = 0; i < this._requests.length; ++i) {
       var request = this._requests[i];
-      var page = SDK.NetworkLog.pageLoadForRequest(request);
+      var page = SDK.networkLog.pageLoadForRequest(request);
       if (!page || seenIdentifiers[page.id])
         continue;
       seenIdentifiers[page.id] = true;
       pages.push(this._convertPage(page, request));
     }
     return pages;
   }
 
   /**
    * @param {!SDK.PageLoad} page
@@ skipping 25 matching lines @@
    * @param {number} time
    * @return {number}
    */
   _pageEventTime(page, time) {
     var startTime = page.startTime;
     if (time === -1 || startTime === -1)
       return -1;
     return SDK.HAREntry._toMilliseconds(time - startTime);
   }
 };