Merge branch 'search_results_pagination' into 'dev'

Search results pagination

See merge request !474
1 job for dev in 3 minutes and 30 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Lint
passed #2573
lint

00:03:30