// At least one found?
if ((SQL_NUMROWS($res_ext_crt) > 0) && ((($cacheMode == "init") && ($CSS != "1") && ($CSS != "-1")) || ($cacheMode == "no"))) {
- // Load theme management
- require_once(PATH."inc/theme-manager.php");
+ // Load session management
+ require_once(PATH."inc/session.php");
// Extensions are registered so we load them
while ($content = SQL_FETCHARRAY($res_ext_crt)) {