A MediaWiki extension that adds a parser function to convert a time to a different time zone