mozilla/pdf.js — pull request #4947 by timvandermeij (2014-06-15 20:22:49+00:00)
Title: Replace curly quotes by regular quotes for searching

Fixes #1399.