core_badges_get_user_badges can be broken if site name has HTML tags

Testing instructions refer to 3.11, I have noted differences in navigation for 4.0

Setup

1. Log in as admin
2. Navigate to Site administration > Front page > Front page settings in site administration
   • 4.0 Site administration > Site home > Site home settings
3. Set Full site name to the following:

   <span class="multilang" lang="en">Moodle (EN)</span><span class="multilang" lang="de">Moodle (DE)</span>

4. Navigate to Plugins > Filters > Manage filters in site administration
5. Set Multi-Language Content to On and Apply to: Content and headings
6. Create a new user
7. Enable web services
8. Generate (and make note of) token for test user
   • Navigate to Server > Web services > Manage tokens in site administration
   • Press Create token
   • Select your test user, press Save changes
   • Copy the Token value for the user

Issue a site badge

1. Navigate to Badges > Add a new badge in site administration
2. Fill in required fields
3. Press Create badge
4. Add badge criteria Manual issue by role
5. Select all roles, press Save
6. Press Enable access > Continue
7. Press Recipients
   • 4.0 Select Recipients from the dropdown navigation (next to the Back button)
8. Press Award Badge
9. Select Manager role
10. Select test user from Potential badge recipients, press Award Badge

Manual test

1. Execute the following command from a terminal:

   $ curl -s '<WWWROOT>/webservice/rest/server.php?moodlewsrestformat=json' --data "wsfunction=core_badges_get_user_badges&moodlewssettingfilter=1&wstoken=<TOKEN>" | python -m json.tool

2. Confirm the request completes without exceptions
3. Confirm the issuername property of the awarded badge looks like the following in returned structure:

   "issuername": "Moodle (EN)",