From 87e7175e210d4cb44555ac5885a0ed6aa31bf287 Mon Sep 17 00:00:00 2001
From: Andreas Gohr <andi@splitbrain.org>
Date: Fri, 22 Oct 2010 11:29:43 +0200
Subject: [PATCH] disabled JS based hotkeys for next stable release FS#1958
---
lib/exe/js.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lib/exe/js.php b/lib/exe/js.php
index 3756c43b9..dbef6e073 100644
--- a/lib/exe/js.php
+++ b/lib/exe/js.php
@@ -51,7 +51,7 @@ function js_out(){
DOKU_INC.'lib/scripts/linkwiz.js',
DOKU_INC.'lib/scripts/media.js',
DOKU_INC.'lib/scripts/subscriptions.js',
- DOKU_INC.'lib/scripts/hotkeys.js',
+# disabled for FS#1958 DOKU_INC.'lib/scripts/hotkeys.js',
DOKU_TPLINC.'script.js',
);
--
GitLab