In WordPress 3.6, using the new
[audio] shortcode, I can add a player for an .mp3 file like this:
However, if the .mp3 file has capital letters in the extension, it doesn't work:
If I specify the format in the shortcode, it still fails, although in a different way:
Looking at function
wp_audio_shortcode in "wp-includes/media.php", I can see where this is happening.
Is this intentional behavior for WordPress 3.6? Are there any workarounds (other than renaming the file)? Should I file a bug report?
This bug has been fixed in the core for WordPress 3.7.