mozilla/pdf.js — pull request #5579 by jazzy-em (2014-12-23 14:01:51+00:00)
Title: Added multiple term search functionality (with default phrase search)

This pull-request is very similar to #5496
Change allows:
* in addition to the standard (phrase) search adds functionality to search multiple words separated by a space (multiple terms search)
* define the word (or word list) to search in the url hash tag #search. When page has been loaded, document is scrolling to the search results.
* specify the type of search (phrase or multiple term search) in the url hash tag #phrase (true or absent hash tag - default phrase search, false - multiple term search)
* specify the type of search (phrase or multiple term search) in UI (checkbox 'Phrase', by default this is checked).

![pdfjspull](https://cloud.githubusercontent.com/assets/10258064/5538374/73ff2626-8ad4-11e4-843e-870d821cf76c.png)

Examples:
find phrase 'Locking tames tamed tame':
#search=Locking%20tames%20tamed%20tame&phrase=true
or
#search=Locking%20tames%20tamed%20tame

find multiple term search 'Locking tames tamed tame':
#search=Locking%20tames%20tamed%20tame&phrase=false

Screenshots:
![pdfjspull-phrase](https://cloud.githubusercontent.com/assets/10258064/5538444/051c58e4-8ad6-11e4-95a5-42c01f9fbd24.png)

![pdfjspull-multiple](https://cloud.githubusercontent.com/assets/10258064/5538446/0c22a3c8-8ad6-11e4-9e99-59ee68e4482c.png)