html search: use a Map
to collect file-term scores (#13060)
#7469
Loading
Map
to collect file-term scores (#13060)
#7469