diff --git a/src/shared/util.js b/src/shared/util.js
index 9a9926667..2698c0e3b 100644
--- a/src/shared/util.js
+++ b/src/shared/util.js
@@ -246,9 +246,9 @@ function warn(msg) {
   }
 }
 
-// Deprecated API function -- treated as warnings.
+// Deprecated API function -- display regardless of the PDFJS.verbosity setting.
 function deprecated(details) {
-  warn('Deprecated API usage: ' + details);
+  console.log('Deprecated API usage: ' + details);
 }
 
 // Fatal errors that should trigger the fallback UI and halt execution by