First cut at UI for saving net_internals data into a file for mobile (Android and Ios).

chrome/browser/resources/net_internals/main.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.
 
 /**
  * Dictionary of constants (Initialized soon after loading by data from browser,
  * updated on load log).  The *Types dictionaries map strings to numeric IDs,
  * while the *TypeNames are the other way around.
  */
 var EventType = null;
@@ skipping 88 matching lines @@
     tabs.addTab(TestView.TAB_HANDLE_ID, TestView.getInstance(), false, true);
     tabs.addTab(HSTSView.TAB_HANDLE_ID, HSTSView.getInstance(), false, true);
     tabs.addTab(LogsView.TAB_HANDLE_ID, LogsView.getInstance(),
                 false, cr.isChromeOS);
     tabs.addTab(BandwidthView.TAB_HANDLE_ID, BandwidthView.getInstance(),
                 false, true);
     tabs.addTab(PrerenderView.TAB_HANDLE_ID, PrerenderView.getInstance(),
                 false, true);
     tabs.addTab(CrosView.TAB_HANDLE_ID, CrosView.getInstance(),
                 false, cr.isChromeOS);
+    tabs.addTab(MobileView.TAB_HANDLE_ID, MobileView.getInstance(),
+                false, cr.isMobile);
 
     // Build a map from the anchor name of each tab handle to its "tab ID".
     // We will consider navigations to the #hash as a switch tab request.
     var anchorMap = {};
     var tabIds = tabs.getAllTabIds();
     for (var i = 0; i < tabIds.length; ++i) {
       var aNode = $(tabIds[i]);
       anchorMap[aNode.hash] = tabIds[i];
     }
     // Default the empty hash to the data tab.
@@ skipping 185 matching lines @@
  * Returns a string representation of |family|.
  * @param {number} family An AddressFamily
  * @return {string} A representation of the given family.
  */
 function addressFamilyToString(family) {
   var str = getKeyWithValue(AddressFamily, family);
   // All the address family start with ADDRESS_FAMILY_*.
   // Strip that prefix since it is redundant and only clutters the output.
   return str.replace(/^ADDRESS_FAMILY_/, '');
 }