diff --git a/Makefile b/Makefile
index e13c6bf3e..7688025a5 100644
--- a/Makefile
+++ b/Makefile
@@ -36,7 +36,6 @@ PDF_JS_FILES = \
pattern.js \
stream.js \
worker.js \
- debugger.js \
../external/jpgjs/jpg.js \
jpx.js \
$(NULL)
@@ -216,6 +215,7 @@ EXTENSION_WEB_FILES = \
web/viewer.js \
web/viewer.html \
web/viewer-production.html \
+ web/debugger.js \
$(NULL)
FIREFOX_BUILD_DIR := $(BUILD_DIR)/firefox
diff --git a/src/core.js b/src/core.js
index 3482f225b..358dc8ffb 100644
--- a/src/core.js
+++ b/src/core.js
@@ -57,6 +57,7 @@ function getPdf(arg, callback) {
xhr.send(null);
}
globalScope.PDFJS.getPdf = getPdf;
+globalScope.PDFJS.pdfBug = false;
var Page = (function PageClosure() {
function Page(xref, pageNumber, pageDict, ref) {
diff --git a/src/worker_loader.js b/src/worker_loader.js
index c3edc9928..fc3d7a5f7 100644
--- a/src/worker_loader.js
+++ b/src/worker_loader.js
@@ -24,8 +24,7 @@ var files = [
'stream.js',
'worker.js',
'../external/jpgjs/jpg.js',
- 'jpx.js',
- 'debugger.js'
+ 'jpx.js'
];
// Load all the files.
diff --git a/src/debugger.js b/web/debugger.js
similarity index 100%
rename from src/debugger.js
rename to web/debugger.js
diff --git a/web/viewer.html b/web/viewer.html
index 92a0edc40..ee992a2c5 100644
--- a/web/viewer.html
+++ b/web/viewer.html
@@ -29,10 +29,11 @@
-
+
+