Release 10.2.2, which un-disables PDF.js

With the advent of Firefox 30, pdf.js printing works again, so
we stop disabling it (Trac: #1483)