/** * wrapper to make style.skin public */ function stylesheet_action() { var skin = this.skins.fetchSkin("site", "style"); // we also check if the prefs have been changed, lately: var sitemod = this.isModified(); if (skin.isModified() || sitemod) { res.contentType = "text/css"; res.lastModified = sitemod ? this.modifytime : skin.modifytime; this.renderSkin("style"); } else res.notModified(); } /** * wrapper to make javascript.skin public */ function javascript_action() { var skin = this.skins.fetchSkin("site", "javascript"); if (skin.isModified()) { res.contentType = "text/javascript"; res.lastModified = skin.modifytime; this.renderSkin("javascript"); } else res.notModified(); } /** * redirect requests for rss092 to rss */ function rss092_action() { this.rss_action(); } /** * redirect requests for rss10 to rss */ function rss10_action() { this.rss_action(); }