Is it just me, or has the play button on the media player widget stopped working with PR1.3?

It worked quite cheerfully before Monday, but now, although it'll pause and change track OK, I have to resume playing from the full media player.

If it is because of PR1.3, then it's either a new bug or an existing one which has become more widespread with PR1.3.