Updated mediawiki/extensions
Project: mediawiki/extensions/DataValues  b6e2541355cf46b7a54852dc9eea2303f67863e9

Introduces jQuery.AnimationEvent and jQuery.fn.animateWithEvent

jQuery.fn.animateWithEvent allows for efficient event handling during animations and for simple
extensibility of widgets dealing with animations.

Change-Id: I3be9cd0fefed0152bd3a14fc51c94ff0e11387a3