diff -r b95aebb070b5 -r 78f71aa0a477 integration/lib/jquery-ui/ui/minified/jquery.ui.effect-fade.min.js
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/integration/lib/jquery-ui/ui/minified/jquery.ui.effect-fade.min.js	Tue May 14 18:19:04 2013 +0200
@@ -0,0 +1,4 @@
+/*! jQuery UI - v1.10.3 - 2013-05-03
+* http://jqueryui.com
+* Copyright 2013 jQuery Foundation and other contributors; Licensed MIT */
+(function(t){t.effects.effect.fade=function(e,i){var s=t(this),n=t.effects.setMode(s,e.mode||"toggle");s.animate({opacity:n},{queue:!1,duration:e.duration,easing:e.easing,complete:i})}})(jQuery);
\ No newline at end of file