Kill ui.js

Tools/GardeningServer/ui/ct-results-by-builder.html

Index: Tools/GardeningServer/ui/ct-results-by-builder.html
diff --git a/Tools/GardeningServer/ui/ct-results-by-builder.html b/Tools/GardeningServer/ui/ct-results-by-builder.html
index fcf484e02f94a094e7e66a17553a7af1a7983558..e7e722f15c8ef46cabfd2e3a194fd2ed2801028c 100644
--- a/Tools/GardeningServer/ui/ct-results-by-builder.html
+++ b/Tools/GardeningServer/ui/ct-results-by-builder.html
@@ -18,7 +18,7 @@ found in the LICENSE file.
     </style>
     <paper-tabs selected="{{ selected }}">
       <template repeat="{{ builder in builders }}">
-        <paper-tab>{{ builder | displayName }}</paper-tab>
+        <paper-tab>{{ builder }}</paper-tab>
       </template>
     </paper-tabs>
     <ct-results-detail failure="{{ failure }}" builder="{{ builders[selected] }}"></ct-results-detail>
@@ -33,10 +33,6 @@ found in the LICENSE file.
         this.builders = Object.getOwnPropertyNames(this.failure.resultNodesByBuilder).sort();
         this.selected = 0;
       },
-
-      displayName: function(builder) {
-        return ui.displayNameForBuilder(builder);
-      },
     });
   </script>
 </polymer-element>