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

diff -Naurp dokuwiki.orig/lib/exe/jquery.php dokuwiki/lib/exe/jquery.php
--- dokuwiki.orig/lib/exe/jquery.php
+++ dokuwiki/lib/exe/jquery.php
@@ -24,7 +24,7 @@ function jquery_out()
 {
     $cache = new Cache('jquery', '.js');
     $files = [
-        DOKU_INC . 'lib/scripts/jquery/jquery.min.js',
+        '/usr/share/javascript/jquery/jquery.min.js',
         DOKU_INC . 'lib/scripts/jquery/jquery-ui.min.js'
     ];
     $cache_files = $files;