search: use Firefox implementation for history search #356

Merged
merged 1 commit into from Jun 24, 2019
Merged