mozilla/pdf.js — pull request #3881 by Snuffleupagus (2013-11-02 21:08:21+00:00)
Title: Fix type mismatch causing wrong scale value in the viewBookmark button

This fixes an oversight on my part in #3854.
The old code relied on implicit type conversion, which I forgot to account for.