diff options
Diffstat (limited to 'pkg/html/generated.go')
| -rw-r--r-- | pkg/html/generated.go | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkg/html/generated.go b/pkg/html/generated.go index 732ed507a..20126f82f 100644 --- a/pkg/html/generated.go +++ b/pkg/html/generated.go @@ -208,6 +208,7 @@ function isSorted(values) { function textSort(v) { return v.toLowerCase(); } function numSort(v) { return -parseInt(v); } function floatSort(v) { return -parseFloat(v); } +function yesSort(v) { return v == "yes" ? 0 : 1; } function reproSort(v) { return v == "C" ? 0 : v == "syz" ? 1 : 2; } function patchedSort(v) { return v == "" ? -1 : parseInt(v); } |