The core file is animation.js.