closing feature #5869 : deleting animation.js