tools/rebuild.php: fix for bans.php not included by default and public_banlist

2015-04-05 18:50:16 +02:00 · 2015-04-05 18:50:16 +02:00 · aadbf4852f
commit aadbf4852f
parent dc2928a14d
1 changed files with 2 additions and 0 deletions
--- 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