Merge branch 'develop' into 'master'

Update SearchResult.php

See merge request !4
3 jobs for 0.1.3 in 23 seconds
latest
Status Job ID Name Coverage
  Test
canceled test:php7.1 #109724
autoscale

00:00:23

canceled test:php7.2 #109725
autoscale

00:00:23

canceled test:php7.3 #109726
autoscale

00:00:22