mozilla/pdf.js — pull request #2680 by vyv03354 (2013-02-05 21:32:03+00:00)
Title: Reduce warning spam caused by BX/EX

Partially fixes https://bugzilla.mozilla.org/show_bug.cgi?id=767455 .
We should warn only if we actually encountered an undefined operator. If the PDF doesn't contain an undefined operator, The PDF will be displayed correctly and we don't have to kick the fallback. If the PDF contains an undefined operator, we already warns about the undefined operator. So the extra two warnings ("ignore undefined operators" / "stop ignoring undefined operators") are redundant.