$weekday_initial_) { $weekday_initial[$weekday_] = preg_replace('/_.+_initial$/', '', $weekday_initial_); } // Abbreviations for each day. $weekday_abbrev[__('Sunday')] = __('dim'); $weekday_abbrev[__('Monday')] = __('lun'); $weekday_abbrev[__('Tuesday')] = __('mar'); $weekday_abbrev[__('Wednesday')] = __('mer'); $weekday_abbrev[__('Thursday')] = __('jeu'); $weekday_abbrev[__('Friday')] = __('ven'); $weekday_abbrev[__('Saturday')] = __('sam'); // The Months $month['01'] = __('janvier'); $month['02'] = __('février'); $month['03'] = __('mars'); $month['04'] = __('avril'); $month['05'] = __('mai'); $month['06'] = __('juin'); $month['07'] = __('juillet'); $month['08'] = __('août'); $month['09'] = __('septembre'); $month['10'] = __('octobre'); $month['11'] = __('novembre'); $month['12'] = __('décembre'); // Abbreviations for each month. Uses the same hack as above to get around the // 'May' duplication. $month_abbrev[__('January')] = __('jan'); $month_abbrev[__('February')] = __('fév'); $month_abbrev[__('March')] = __('mar'); $month_abbrev[__('April')] = __('avr'); $month_abbrev[__('May')] = __('mai'); $month_abbrev[__('June')] = __('jun'); $month_abbrev[__('July')] = __('juil'); $month_abbrev[__('August')] = __('août'); $month_abbrev[__('September')] = __('sept'); $month_abbrev[__('October')] = __('oct'); $month_abbrev[__('November')] = __('nov'); $month_abbrev[__('December')] = __('dec'); foreach ($month_abbrev as $month_ => $month_abbrev_) { $month_abbrev[$month_] = preg_replace('/_.+_abbreviation$/', '', $month_abbrev_); } ?>