[Mediawiki-l] Editing timestamp-format or DefaultDateFormat?

[Katharina Wolkwitz]

Hi,

I'm responsible for the administration of the wiki we're just starting 
to set up at work. The wiki uses German language and I'd like to edit 
the DefaultDateFormat, but I couldn't find out how and where.  :(

At the Moment, when I use the button "Ihre Signatur mit Zeitstempel" to 
sign a text with adding a timestamp, the stamp has the following format:

09:57, 3. Jul. 2007 (CEST)

The timestamp-format doesn't change, when I choose a different 
date-format in my userprofile-preferences, so maybe it's not the 
DefaultDateFormat I need to change, but a different parameter?

I'd like to change the timestamp-Format (and/or the DefaultDateFormat) 
so that the timestamp looks like this:

03.06.2007, 09:57

In which file can I make this change and how?

Greetings
Katharina Wolkwitz

--
Fachhochschule Südwestfalen
Hochschulbibliothek
Haldener Straße 182
58095 Hagen
Tel.: 02331/987-2706