[Mediawiki-l] How do I adjust the time on my Wiki?

[Tom Veidt]

Jason Smithson wrote:
> In LocalSettings.php add:
> 
> $wgLocalTZoffset    = "-5";
> 
> Adjust the value for CET obviously :)

Ah, many thanks. I already looked in LocalSettings.php/.sample but 
couldn't find this variable. Is there somewhere an overview over all 
existing LocalSettings variables?