getLocale(); _pf('done'); // Theme specific l10n handling list($theme,$media) = getActualTheme(); if (file_exists(RSS_THEME_DIR."/$theme/intl/$lang.php")) { rss_require(RSS_THEME_DIR."/$theme/intl/$lang.php"); } elseif ($lang != "en" && file_exists(RSS_THEME_DIR."/$theme/intl/en.php")) { rss_require(RSS_THEME_DIR."/$theme/intl/en.php"); } // if (file_exists(getThemePath(GREGARIUS_HOME)."overrides.php")) { rss_require(getThemePath('')."overrides.php"); } /* // Load the right locale if (defined('OVERRIDE_LOCALE')) { setlocale(LC_TIME,constant("OVERRIDE_LOCALE")); } elseif (isset($_SERVER["WINDIR"]) && defined("LOCALE_WINDOWS")) { setlocale(LC_TIME,constant("LOCALE_WINDOWS")); } elseif (defined("LOCALE_LINUX")) { setlocale(LC_TIME,constant("LOCALE_LINUX")); } else { //last chance, we try to guess it $mylocale=strtolower(getConfig('rss.output.lang')); $mylocale.="_".strtoupper($mylocale); if (!setlocale(LC_TIME,$mylocale)) { // very last resort: try to load the system locale setlocale(LC_TIME,""); } } */ _pf('done'); ?>