console/servlets/src/main/webapp/js/graph.js
// augment arr with arr2's items
augment arr with arr2's items
augment arr with arr2 ' s items
function pushArray(arr, arr2) {
  if (arr2) {
    arr.push.apply(arr, arr2);
  }
}
function pushArray ( arr , arr2 ) { if ( arr2 ) { arr . push . apply ( arr , arr2 ) ; } }
augment arr with arr2's items
augment arr with arr2 ' s items