ProtectionExtensions.js: corrected setMediaKeys
Merge branch 'development' of https://github.com/Orange-OpenSource/hasplayer.js into development