Capital letters of days and months
 

Hi, i have a question. My current date format is %a %d %b %Y for the day, and %H:%M:%S for the time. The months are given as "jan" until "dec" and the time days are given as "ma" until "su". How do I change this into capital letters, to "Jan" until "Dec" and "Ma" until "Su"? Is there a phpfile where I should change this?

Oh, I forgot to add something important, because I've just seen that this already is standard with capital letters. I have a Dutch translation for my forum, and the translator did not add capital letters to the days and months, so is there any file where I could change this myself?