A command for displaying Minecraft time

[fenhl]

There should be a way to get the current in-game time, in a format similar to that on time.wurstmineberg.de. This would probably use the API. I can see 3 ways to do this:

• a new command !mtime (consistent with !wiki vs !mwiki) or !mctime (looks better)
• changing !time to output in-game time when executed as !time minecraft or similar (consistent with !restart and !stop)
• just make !time output in-game time in addition to its current output

[felinira]

I am voting for option 3