web-animations/web-animations-js — pull request #571 by ewilligers (2014-03-25 03:21:04+00:00)
Title: Rename Player to AnimationPlayer

Renamed discussed in Web Animations minutes 28 Feb 2014
https://etherpad.mozilla.org/ep/pad/view/ro.WCBLOuse6D5/latest

Web Animation spec, Section 5.2 The AnimationPlayer interface
http://dev.w3.org/fxtf/web-animations/#the-animationplayer-interface