setDefaultLang(DEFAULT_LANGUAGE); $i18n->setPath(__DIR__ . '/../../locale'); // Change langauge when user asked for it if (isset($_POST['lang']) && is_string($_POST['lang']) && in_array($_POST['lang'], array_keys($ALLOWED_LANGUAGES))) { $locale = $_POST['lang']; $_SESSION['lang'] = $_POST['lang']; } elseif (!empty($_SESSION['lang'])) { $locale = $_SESSION['lang']; } else { $locale = DEFAULT_LANGUAGE; } /* */ $html_lang = substr($locale, 0, 2); /* Date Format */ $date_format['txt_full'] = __('Date\\FULL'); //summary in create_date_poll.php and removal date in choix_(date|autre).php $date_format['txt_short'] = __('Date\\SHORT'); // radio title $date_format['txt_day'] = __('Date\\DAY'); $date_format['txt_date'] = __('Date\\DATE'); $date_format['txt_month_year'] = __('Date\\MONTH_YEAR'); if (strtoupper(substr(PHP_OS, 0, 3)) == 'WIN') { //%e can't be used on Windows platform, use %#d instead foreach ($date_format as $k => $v) { $date_format[$k] = preg_replace('#(?