From 4e03514215d8e9d6c5f2c2a79996f3d4f5be45ad Mon Sep 17 00:00:00 2001
From: Yury Delendik <ydelendik@mozilla.com>
Date: Mon, 22 Sep 2014 16:34:16 -0500
Subject: [PATCH] PDF.js version 1.0.725

---
 bower.json            | 2 +-
 build/pdf.combined.js | 4 ++--
 build/pdf.js          | 4 ++--
 build/pdf.worker.js   | 4 ++--
 package.json          | 2 +-
 5 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/bower.json b/bower.json
index 7797811e5..39ac875be 100644
--- a/bower.json
+++ b/bower.json
@@ -1,6 +1,6 @@
 {
   "name": "pdfjs-dist",
-  "version": "1.0.723",
+  "version": "1.0.725",
   "keywords": [
     "Mozilla",
     "pdf",
diff --git a/build/pdf.combined.js b/build/pdf.combined.js
index f3746d225..0867dc64f 100644
--- a/build/pdf.combined.js
+++ b/build/pdf.combined.js
@@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') {
   (typeof window !== 'undefined' ? window : this).PDFJS = {};
 }
 
-PDFJS.version = '1.0.723';
-PDFJS.build = '8042a4b';
+PDFJS.version = '1.0.725';
+PDFJS.build = 'd9ec0e5';
 
 (function pdfjsWrapper() {
   // Use strict in our context only - users might not want it
diff --git a/build/pdf.js b/build/pdf.js
index 099c93552..ff7f74a91 100644
--- a/build/pdf.js
+++ b/build/pdf.js
@@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') {
   (typeof window !== 'undefined' ? window : this).PDFJS = {};
 }
 
-PDFJS.version = '1.0.723';
-PDFJS.build = '8042a4b';
+PDFJS.version = '1.0.725';
+PDFJS.build = 'd9ec0e5';
 
 (function pdfjsWrapper() {
   // Use strict in our context only - users might not want it
diff --git a/build/pdf.worker.js b/build/pdf.worker.js
index 2aa16a050..a50e634f6 100644
--- a/build/pdf.worker.js
+++ b/build/pdf.worker.js
@@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') {
   (typeof window !== 'undefined' ? window : this).PDFJS = {};
 }
 
-PDFJS.version = '1.0.723';
-PDFJS.build = '8042a4b';
+PDFJS.version = '1.0.725';
+PDFJS.build = 'd9ec0e5';
 
 (function pdfjsWrapper() {
   // Use strict in our context only - users might not want it
diff --git a/package.json b/package.json
index dfe738b59..99391f199 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "pdfjs-dist",
-  "version": "1.0.723",
+  "version": "1.0.725",
   "description": "Generic build of Mozilla's PDF.js library.",
   "keywords": [
     "Mozilla",