Fix some JS style nits.

ui/webui/resources/js/cr/ui/table/table_header.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.
 
 /**
  * @fileoverview This implements a table header.
  */
 
 cr.define('cr.ui.table', function() {
   /** @const */ var TableSplitter = cr.ui.TableSplitter;
@@ skipping 116 matching lines @@
         splitter.hidden = !cm.isVisible(i);
 
         this.headerInner_.appendChild(splitter);
         splitters.push(splitter);
       }
       this.placeSplitters_(splitters);
     },
 
     /**
      * Place splitters to right positions.
-     * @param {Array.<HTMLElement>|NodeList} splitters Array of splitters.
+     * @param {Array<HTMLElement>|NodeList} splitters Array of splitters.
      */
     placeSplitters_: function(splitters) {
       var cm = this.table_.columnModel;
       var place = 0;
       for (var i = 0; i < cm.size; i++) {
         // Don't account for the widths of hidden columns.
         if (splitters[i].hidden)
           continue;
         place += cm.getWidth(i);
         splitters[i].style.webkitMarginStart = place + 'px';
@@ skipping 110 matching lines @@
   /**
    * Rectangular area around the splitters sensitive to touch events
    * (in pixels).
    */
   TableHeader.TOUCH_DRAG_AREA_WIDTH = 30;
 
   return {
     TableHeader: TableHeader
   };
 });