Author: Tanguy Ortolo <tanguy+debian@ortolo.eu>
Description: Use packaged version of jQuery instead of an embedded one.

diff -Naurp dokuwiki.orig/lib/exe/js.php dokuwiki/lib/exe/js.php
--- dokuwiki.orig/lib/exe/js.php
+++ dokuwiki/lib/exe/js.php
@@ -46,7 +46,7 @@ function js_out()
 
     // array of core files
     $files = [
-        DOKU_INC . 'lib/scripts/jquery/jquery.cookie.js',
+        '/usr/share/javascript/jquery-cookie/jquery.cookie.js',
         DOKU_INC . 'inc/lang/' . $conf['lang'] . '/jquery.ui.datepicker.js',
         DOKU_INC . "lib/scripts/fileuploader.js",
         DOKU_INC . "lib/scripts/fileuploaderextended.js",