src/Pure/Admin/component_pdfjs.scala

--- a/src/Pure/Admin/component_pdfjs.scala	Sat Sep 13 19:51:53 2025 +0200
+++ b/src/Pure/Admin/component_pdfjs.scala	Sat Sep 13 20:36:58 2025 +0200
@@ -17,7 +17,7 @@
   /* build pdfjs component */
 
   val default_url = "https://github.com/mozilla/pdf.js/releases/download"
-  val default_version = "2.14.305"
+  val default_version = "5.4.149"
 
   def build_pdfjs(
     base_url: String = default_url,