mozilla/treeherder-ui — pull request #47 by jeads (2014-03-12 00:17:56+00:00)
Title: Search box

Integrates the search box into the jangulary. The following job properties are now searchable: displayed platform name, job.platform_option, job.job_group_name, job.job_group_symbol, job.job_type_name, job.machine_name, and job.job_type_symbol.