Better search results pagination
|Assignee:||Jean-Philippe Lang||% Done:|
Current pagination is based on results timestamps which leads to several problems. The most important being that some results with same timestamps may not be displayed.
Rewrites search engine to properly paginate results (#18631).
Instead of counting and retrieving results based on their timestamps, we now load all result ids then load the appropriate results by their ids. This also brings a 2x performance improvement as we search tokens in one of the 2 queries only.