' . ''; global $theme; if (is_dir("themes/$theme/ext/resources/css")) { $cssDir = opendir("themes/$theme/ext/resources/css"); while (($file = readdir($cssDir)) !== false) { if (strcasecmp(substr($file, -4), '.css' == 0)) { $ret .= ""; } } } return $ret; }