--- a/wp/wp-includes/js/hoverIntent.js	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-includes/js/hoverIntent.js	Mon Oct 14 18:28:13 2019 +0200
@@ -1,12 +1,12 @@
 /*!
- * hoverIntent v1.8.1 // 2014.08.11 // jQuery v1.9.1+
+ * hoverIntent v1.8.3 // 2014.08.11 // jQuery v1.9.1+
  * http://cherne.net/brian/resources/jquery.hoverIntent.html
  *
  * You may use hoverIntent under the terms of the MIT license. Basically that
  * means you are free to use hoverIntent as long as this header is left intact.
  * Copyright 2007, 2014 Brian Cherne
  */
-
+ 
 /* hoverIntent is similar to jQuery's built-in "hover" method except that
  * instead of firing the handlerIn function immediately, hoverIntent checks
  * to see if the user's mouse has slowed down (beneath the sensitivity