use proper timestamp conversion for user_touched
authorDomas Mituzas <midom@users.mediawiki.org>
Tue, 10 Aug 2004 13:17:20 +0000 (13:17 +0000)
committerDomas Mituzas <midom@users.mediawiki.org>
Tue, 10 Aug 2004 13:17:20 +0000 (13:17 +0000)
commit9d5210b8261b7b72ddd3a904d5282354311fec11
tree70dc8dddbd7ec3bb22873f9dd0da4c96f7fdc864
parent4bc38e9ad6e71de4c7d5cb79419208e9f0559592
use proper timestamp conversion for user_touched
includes/User.php