new object $dir_desktop: $directories;

var $directories default_page = $page_desktop_login;
var $directories entries = #[["web_prefs", $page_web_prefs]];
var $directories lock = [$security_lib, 'bounce_to_auth, ["/login"]];
var $dmi_data descriptions = #[];
var $root created_on = 864277943;
var $root flags = ['variables, 'methods, 'code, 'core];
var $root inited = 1;
var $root managed = [$dir_desktop];
var $root manager = $dir_desktop;