diff --git a/dist/libs.js b/dist/libs.js
index 95f0d05..7707ab1 100644
--- a/dist/libs.js
+++ b/dist/libs.js
@@ -10600,28 +10600,6 @@ if ( !noGlobal ) {
 return jQuery;
 } );
 
-// This file is deprecated in 1.12.0 to be removed in 1.13
-( function() {
-define( [
-	"jquery",
-	"./data",
-	"./disable-selection",
-	"./focusable",
-	"./form",
-	"./ie",
-	"./keycode",
-	"./labels",
-	"./jquery-1-7",
-	"./plugin",
-	"./safe-active-element",
-	"./safe-blur",
-	"./scroll-parent",
-	"./tabbable",
-	"./unique-id",
-	"./version"
-] );
-} )();
-
 /*!
  * jQuery UI Widget 1.12.1
  * http://jqueryui.com