Developer credits

Git commits in Moodle 4.0.x by Audun Jørstad Lillekjendlie

commit 4ccd18f6beeb731d9964a9e80a266a343e61ff37
Author: Audun Jørstad Lillekjendlie <24764454+audunjl@users.noreply.github.com>
Date:   Mon, 20 Feb 2023 17:54:58 +0800
Tag:    v4.0.7

MDL-77318 core: Add role attribute to user navigation div

commit e8cc15ecaa258908c3017d9fa5670f921ad5a9c2
Author: Audun Jørstad Lillekjendlie <24764454+audunjl@users.noreply.github.com>
Date:   Mon, 06 Feb 2023 21:00:23 +0800
Tag:    v4.0.7

MDL-77020 core: Include a unique id in the search input field id

commit 5563c74c95dab0c31ac33cb11fe40d79e7d150e7
Author: Audun Jørstad Lillekjendlie <24764454+audunjl@users.noreply.github.com>
Date:   Mon, 06 Feb 2023 20:47:35 +0800
Tag:    v4.0.7

MDL-77052 block_recentlyaccesseditems: HTML role attribute

commit b9a36a15626ff4cd753ad899540d3b024a01f64d
Author: Audun Jørstad Lillekjendlie <24764454+audunjl@users.noreply.github.com>
Date:   Wed, 14 Dec 2022 20:18:04 +0800
Tag:    v4.0.7

MDL-76672 block_myoverview: add role attribute for filter div