So recently https://gerrit.wikimedia.org/r/15746 was merged. It implements a pretty timestamp function. Yet it was somehow completely ignored that we actually have an MWTimestamp class made specifically for timestamp objects in MediaWiki.
*--* *Tyler Romeo* Stevens Institute of Technology, Class of 2015 Major in Computer Science www.whizkidztech.com | tylerromeo@gmail.com