mozilla/pdf.js — pull request #4925 by yurydelendik (2014-06-12 17:41:25+00:00)
Title: Protects PDFJS.disableXXX == true from change

when preferences read