Git commits in Moodle 3.0.1 by David Mudrák

commit 8f36db0be5fa1de82a2ad14932d85d4f23a0ca3a
Author: David Mudrák <david@moodle.com>
Date:   Thu, 19 Nov 2015 21:14:16 +0800
Tag:    v3.0.1

MDL-52214 core: Fix case sensitivity in user agent comparison

commit f554e04a2737b6e1ebc3fb5601cd2dfe7ec89e5d
Author: David Mudrák <david@moodle.com>
Date:   Thu, 19 Nov 2015 20:21:49 +0800
Tag:    v3.0.1

MDL-52214 core: Fix the is_web_crawler() regression