Also round timestamp in the php mediawiki plugin.