]> mop.ddnsfree.com - git repositories - brisk.git/commitdiff
missing include added
authorMatteo Nastasi (mop) <nastasi@alternativeoutput.it>
Sun, 28 Jul 2013 15:56:44 +0000 (17:56 +0200)
committerMatteo Nastasi (mop) <nastasi@alternativeoutput.it>
Sun, 28 Jul 2013 15:56:44 +0000 (17:56 +0200)
web/briskin5/statadm.php

index cc5e6aa2476a3932c77023ffdcf032a6a0d8ff96..db3cf9b055c27e02738059a58b6102a8f5a07802 100644 (file)
@@ -33,6 +33,7 @@ $G_base = "../";
 ini_set("max_execution_time",  "240");
 
 require_once("../Obj/brisk.phh");
+require_once("../Obj/user.phh");
 require_once("../Obj/auth.phh");
 require_once("../Obj/dbase_${G_dbasetype}.phh");
 require_once("Obj/briskin5.phh");