Well, as I just discovered looking for something else, you can always "use the source, look": http://cvs.sourceforge.net/viewcvs.py/wikipedia/tools/downtime/language-supp...
Sorry for replying to this ages-old message, but I have the following comments:
function fmttimeen($hour) { return "$hour:00 UTC"; }
function fmttimepl($hour) { $hour += 2; return "${hour}:00 CET"; }
This is wrong, CET is UTC+1, not +2.
function fmttimenl($hour) { $hour += 2; return "$hour uur Nederlandse/Belgische tijd"; }
This is correct only half the year. (If the Netherlands and Belgium switch at the same time as the UK, it became wrong today.)
Timwi