functions/date.php has own way of generating short names of month/weekday.
some translations need more than 3 symbols.