/** * @param ENVIRONMENT $env Global environment. */ public function __construct($env) { parent::__construct($env); $class_name = $this->final_class_name('THEME_OPTIONS'); $this->theme_options = new $class_name(); $this->theme = new THEME_SETTINGS($this); $this->stored_theme = new THEME_SETTINGS($this); $this->default_theme = new THEME_SETTINGS($this); $this->_configure_default_theme_options(); }