Add missing metrics.js for worker

diff --git a/worker/boot.js b/worker/boot.js
index 241870c5c4dc4a620d8d6975b5336f097c73dd21..cc3896c2a7f64894a9b4a06ea65ed5dc557a889e 100644 (file)
--- a/worker/boot.js
+++ b/worker/boot.js
@@ -9,6 +9,7 @@ importScripts('../pdf.js');
 importScripts('../fonts.js');
 importScripts('../crypto.js');
 importScripts('../glyphlist.js');
+importScripts('../metrics.js');
 importScripts('handler.js');
 
 // Listen for messages from the main thread.