Developer credits
Git commits in Moodle 3.10.x by Mikel Martín
commit b4c09b497c6862592d759a3e33daa2ab8c02dcea Author: Mikel Martín <mikel@moodle.com> Date: Fri, 19 Mar 2021 22:11:50 +0800 Tag: v3.10.7 MDL-71152 theme_boost: Use 'scroll-margin-top' for anchor links
commit fa31950c6a44e05b057c8872213ea8163c4e83ef Author: Mikel Martín <mikel@moodle.com> Date: Wed, 25 Nov 2020 01:09:28 +0800 Tag: v3.10.1 MDL-70322 core_search: consistent search icon