How do you format dates according to user preference in Mediawiki? I presume it has something to do with DateFormatter (http://svn.wikimedia.org/doc/classDateFormatter.html), but I'm not 100% sure how to make use of this class.
The extension I am working on displays, among other things, a last update time for its data. I want this time to display consistent with user preferences. Right now I am running (time() - (60*60*4)) through date(), but I feel this is a very inelegant solution.
Thank you,
Derric Atzrott
Computer Specialist
Alizee Pathology