From aadbf4852f51a1fee02dfee9708d5b1d67eedf6d Mon Sep 17 00:00:00 2001 From: czaks Date: Sun, 5 Apr 2015 18:50:16 +0200 Subject: [PATCH] tools/rebuild.php: fix for bans.php not included by default and public_banlist --- tools/rebuild.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/rebuild.php b/tools/rebuild.php index 82df3e19..289523a1 100755 --- a/tools/rebuild.php +++ b/tools/rebuild.php @@ -21,6 +21,8 @@ require dirname(__FILE__) . '/inc/cli.php'; +require_once("inc/bans.php"); + $start = microtime(true); // parse command line