From 09d64e5e270410e5f28237ba3e289fe8cefacb4d Mon Sep 17 00:00:00 2001
From: Darko <dkrisan@gmail.com>
Date: Mon, 3 Nov 2014 09:21:20 +0100
Subject: [PATCH] Add missing clas from require.

---
 bin/update_binaries.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bin/update_binaries.php b/bin/update_binaries.php
index a46937ef3..b9ccc6d98 100644
--- a/bin/update_binaries.php
+++ b/bin/update_binaries.php
@@ -4,6 +4,7 @@ require_once(dirname(__FILE__) . "/config.php");
 require_once(WWW_DIR . "/lib/groups.php");
 require_once(WWW_DIR . "/lib/binaries.php");
 require_once(WWW_DIR . "/lib/ColorCLI.php");
+require_once(WWW_DIR . "/lib/ConsoleTools.php");
 $time = TIME();
 $c = new ColorCLI();