render($view, array( 'token' => $csrf, 'root' => ROOT, 'static' => STATIC_URL, 'scripts' => $scripts, 'version' => VERSION, 'home' => $home, 'email' => $email, 'gravatar' => $gravatar, 'revision' => $revision, 'code_id' => $code_id, 'url' => $_SERVER['REQUEST_URI'], 'code_id_path' => $code_id_path, 'code_id_domain' => $code_id_domain, 'json_template' => json_encode(array( 'url' => $code_id_path, 'html' => $html, 'css' => $css, 'javascript' => $javascript )), 'custom_css' => isset($custom['css']) ? preg_replace('/^\//', '', $custom['css']) : null, 'is_production' => IS_PRODUCTION, 'analytics_id' => ANALYTICS_ID, 'embed' => $embed, 'tips' => file_get_contents('../public/tips.json'), 'list_history' => $embed ? '' : $list_history, 'jsbin' => json_encode(array( 'root' => ROOT, 'version' => VERSION, 'state' => array( 'stream' => false, 'code' => isset($code) && $code ? $code : null, 'token' => $csrf, 'revision' => $revision ), 'settings' => isset($custom['settings']) ? $custom['settings'] : array('panels' => array()) )) )); ?>