--- a/wp/wp-includes/js/jquery/jquery.hotkeys.js	Tue Dec 15 15:52:01 2020 +0100
+++ b/wp/wp-includes/js/jquery/jquery.hotkeys.js	Wed Sep 21 18:19:35 2022 +0200
@@ -39,7 +39,7 @@
         ".":">",  "/":"?",  "\\":"|" };
 
     this.add = function(combi, options, callback) {
-        if (jQuery.isFunction(options)){
+        if ( typeof options === 'function' ){
             callback = options;
             options = {};
         }