Developer credits
Git commits in Moodle 3.1.2 by Devang Gaur
commit 0474ba379efc2c1a772e3169fc979bd23c617eba Author: Devang Gaur <devang.only@gmail.com> Date: Fri, 05 Aug 2016 03:42:21 +0800 Tag: v3.1.2 MDL-55390 core_search: check if a search area is real