diff --git a/html/inc/util.inc b/html/inc/util.inc
index 533edcb908..2e6870b660 100644
--- a/html/inc/util.inc
+++ b/html/inc/util.inc
@@ -47,6 +47,9 @@ if (!defined('DISABLE_FORUMS')) {
 if (!defined('DISABLE_TEAMS')) {
     define('DISABLE_TEAMS', false);
 }
+if (!defined('DISABLE_BADGES')) {
+    define('DISABLE_BADGES', false);
+}
 
 $caching = false;
     // if set, we're writing to a file rather than to client