/**
* @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();
}
