Add filter to task-list

appengine/swarming/elements/res/imp/common/dynamic-table-behavior.html

 <!--
   Copyright 2016 The LUCI Authors. All rights reserved.
   Use of this source code is governed under the Apache License, Version 2.0
   that can be found in the LICENSE file.
 
   This file contains most of the logic needed to create a dynamic table. It is broken up into two
   parts, a style dom-module called "dynamic-table-style" and a behavior called
   SwarmingBehaviors.DynamicTableBehavior. This behavior ties together filtering, sorting and column
   content. It also offers a few utilities to make creating the table easier. A client of these two
   parts needs to create the templates to actually draw the <table>,<tr> and so on.  See
@@ skipping 199 matching lines @@
       _stripSpecial: function(){
         return this._columns.filter(function(c) {
           return this._specialColumns.indexOf(c) === -1;
         }.bind(this)).sort();
       },
 
       // Common columns shared between tasklist and botlist
       _commonColumns: function() {
         // return a fresh object so all elements have their own copy
         return {
-          android_devices: function(bot) {
-            var devs = this._attribute(bot, "android_devices", "0");
-            if (this._verbose) {
-              return devs.join(" | ") + " devices available";
-            }
-            // max() works on strings as long as they can be coerced to Number.
-            return Math.max(...devs) + " devices available";
-          },
           device_type: function(bot) {
             var dt = this._attribute(bot, "device_type", "none");
             dt = dt[0];
             var alias = swarming.alias.android(dt);
             if (alias === "unknown") {
               return dt;
             }
             return swarming.alias.apply(dt, alias);
           },
           gpu: function(bot){
@@ skipping 25 matching lines @@
             var pool = this._attribute(bot, "pool");
             return pool.join(" | ");
           },
         };
       },
 
 
     }];
   })();
 </script>