whole_func_string: function info(msg) {
    if (PDFJS.verbosity >= PDFJS.VERBOSITY_LEVELS.infos) {
      console.log('Info: ' + msg);
    }
  }
func_code_string: function info(msg) {
    if (PDFJS.verbosity >= PDFJS.VERBOSITY_LEVELS.infos) {
      console.log('Info: ' + msg);
    }
  }
func_documentation_string: 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.