closing feature #5869 : deleting animation.js and navigation.js