From 73d60120036673ed4879f074edffac704dd65f1f Mon Sep 17 00:00:00 2001
From: David Anderson <davea@ssl.berkeley.edu>
Date: Thu, 12 Jun 2014 09:50:31 -0700
Subject: [PATCH] web: fix DISABLE_BADGES warning

---
 html/inc/util.inc | 3 +++
 1 file changed, 3 insertions(+)

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