Merge "(bug 19195) Make user IDs more readily available with the API"

[lhc/web/wiklou.git] / resources / jquery.ui / jquery.ui.widget.js

diff --git a/resources/jquery.ui/jquery.ui.widget.js b/resources/jquery.ui/jquery.ui.widget.js
index f3b789a..5a71348 100644 (file)
--- a/resources/jquery.ui/jquery.ui.widget.js
+++ b/resources/jquery.ui/jquery.ui.widget.js
@@ -1,5 +1,5 @@
 /*!
- * jQuery UI Widget 1.8.19
+ * jQuery UI Widget 1.8.20
  *
  * Copyright 2012, AUTHORS.txt (http://jqueryui.com/about)
  * Dual licensed under the MIT or GPL Version 2 licenses.