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