mozilla/pdf.js — pull request #5351 by timvandermeij (2014-09-26 22:52:29+00:00)
Title: Require destinations when they are needed and do not fetch all of them in advance

Fixes #5266.

- [ ] Implement `NameTree.get()` (B-tree search) and use `tree.get(destinationId)`.