[devdocsgjs/main: 675/1867] Fix single documentation search on Android (#941)

[Andy Holmes <andyholmes src gnome org>]

commit a0c12c9007a20d1d55aa076bd2dc43f30d7bd407
Merge: e684e8cb 1c007d88
Author: Jasper van Merle <jaspervmerle gmail com>
Date:   Sat Jul 20 02:22:03 2019 +0200

    Fix single documentation search on Android (#941)
    
    Fix single documentation search on Android

 assets/javascripts/lib/util.coffee                  |  4 ++++
 assets/javascripts/views/search/search_scope.coffee | 17 ++++++++++++++---
 2 files changed, 18 insertions(+), 3 deletions(-)
---