Improved Pinch-Zoom for PDF.

chrome/browser/resources/pdf/index.html

Index: chrome/browser/resources/pdf/index.html
diff --git a/chrome/browser/resources/pdf/index.html b/chrome/browser/resources/pdf/index.html
index deb4574c61bf257d05498ab5355b83604b83cce0..2bc79f8150601230e8423cb5b287537e46fa7f7c 100644
--- a/chrome/browser/resources/pdf/index.html
+++ b/chrome/browser/resources/pdf/index.html
@@ -34,6 +34,7 @@
 <script src="navigator.js"></script>
 <script src="viewport_scroller.js"></script>
 <script src="zoom_manager.js"></script>
+<script src="gesture_detector.js"></script>
 <script src="pdf_scripting_api.js"></script>
 <script src="chrome://resources/js/util.js"></script>
 <script src="browser_api.js"></script>