Time?

[gasxtreme]

Any chance of making it so that times displayed in the textbox can be set to either a 12 or 24 hour clock, depending on the admin's choice
like instead of this:
[18:41:41] KG_Noggs joined channel
its
[6:41:41PM] KG_Noggs joined channel
-steve