mozilla/pdf.js — pull request #4433 by Snuffleupagus (2014-03-10 14:59:55+00:00)
Title: Move globals in web/pdf_find_bar.js

@timvandermeij I missed this in #4424.