Fix incorrect sound name

[owenkaplinsky]

Resolves

• Resolves Shark 2 sprite has two sounds with the same name #9523

Proposed Changes

Fixes incorrect sound name to the correct sound name

Reason for Changes

The sound name should be correct

Test Coverage

Please show how you have added tests to cover your changes

Browser Coverage

Check the OS/browser combinations tested (At least 2)

Mac

• Chrome
• Firefox
• Safari

Windows

• Chrome
• Firefox
• Edge

Chromebook

• Chrome

iPad

• Safari

Android Tablet

• Chrome

[mxmou]

The library JSON files are generated using a script. They aren't meant to be edited directly.

[owenkaplinsky]

What file are they developed in, and how would I do it the correct way? This is my first commit for scratch so I'm not very familiar with how it works.

[mxmou]

I think only the ST can do it the correct way - the code that generates these files is private.

[owenkaplinsky]

Hm okay, but I tested my way and it worked fine, so wouldn't it be fine anyways?

[mxmou]

That's the ST's decision, but I imagine they would want to keep the project they use to generate the libraries in sync with the actual library data.