Move the animation duration into a tiddler so that we can easily let it be adjusted in the control panel

core/modules/utils/utils.js

@@ -395,4 +395,11 @@ exports.extractVersionInfo = function() {
 
 }
 
+/*
+Get the animation duration in ms
+*/
+exports.getAnimationDuration = function() {
+	return parseInt($tw.wiki.getTiddlerText("$:/config/AnimationDuration","400"),10);
+};
+
 })();