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