Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  c0dc4109c36f2ec54fc8621ca8ca332d2745a768

Simplify .animation LESS mixin

Make it more general and explicit (no arbitrary defaults). Now it is
simply an alias for animation and -webkit-animation CSS properties.

Change-Id: I8e7383a18ffb0bf3d6f56fd185e96c87524bbc20