mirror of
https://github.com/ankitects/anki.git
synced 2026-06-10 13:10:25 -04:00
<!-- Title (for the Pull Request title field at the top): Use a short prefix so the change type is obvious. You do not need to repeat it in the body below. Examples: - fix: — bugfix - feat: — feature - refactor: — internal change without user-facing feature - docs: — documentation only - chore: — tooling, CI, deps, build housekeeping - test: — tests only --> ## Linked issue (required) - #4716 ## Summary / motivation (required) Currently, on filesystems where the media folder is treated as case-insensitive, `[sound:BLAH.mp3]` and `[sound:blah.mp3]` point to the same file on disk (if any), but one of the two would be considered as a ref pointing to a missing file by the media checker which assumes case-sensitivity ## Steps to reproduce (required, use N/A if not applicable) See linked pr ## How to test (required) On windows/macos, add `blah.mp3`, rename `blah.mp3` to `Blah.mp3` in the ref, run `Check Media` and see that `Blah.mp3` isn't considered missing ### Checklist (minimum) - [x] I ran `./ninja check` or an equivalent relevant check locally. - [ ] I added or updated tests when the change is non-trivial or behavior changed. ## Scope - [x] This PR is focused on one change (no unrelated edits).