external/scripts/jpx.js
function info(msg) {
  if (PDFJS.verbosity >= PDFJS.VERBOSITY_LEVELS.infos) {
    console.log('Info: ' + msg);
  }
}
function info(msg) {
  if (PDFJS.verbosity >= PDFJS.VERBOSITY_LEVELS.infos) {
    console.log('Info: ' + msg);
  }
}
function info ( msg ) { if ( PDFJS . verbosity >= PDFJS . VERBOSITY_LEVELS . infos ) { console . log ( 'Info: ' + msg ) ; } }
A notice for devs. These are good for things that are helpful to devs, such as warning that Workers were disabled, which is important to devs but not end users.
A notice for devs . These are good for things that are helpful to devs such as warning that Workers were disabled which is important to devs but not end users .