-//
-function GET_CURR_THEME()
-{
- global $_COOKIE, $INC_POOL, $CONFIG, $_GET, $_POST, $CSS;
+// Always make sure the session management is initialized first
+require_once(PATH."inc/session.php");
+
+// Get current theme name
+function GET_CURR_THEME() {
+ global $INC_POOL, $_CONFIG, $CSS;
+