Change new wgUserRegistration format, put in User:
authorMatthew Flaschen <mflaschen@wikimedia.org>
Wed, 27 Feb 2013 02:32:19 +0000 (21:32 -0500)
committerMattflaschen <mflaschen@wikimedia.org>
Wed, 27 Feb 2013 05:55:55 +0000 (05:55 +0000)
commit910ed234e832dc537b9edfc88b0d7c460ed988d7
tree6365cf78fd218e30ad365edc6258bd84531f548e
parent5e33949c6f05b9c7a7eb9aa7d26a4e7ad784df15
Change new wgUserRegistration format, put in User:

* This is much more useful if it can be passed to new Date.  As a side
effect, this means straight arithmetic comparisons can be done.
* Add a method for this to mediawiki.user (getRegistrationDate).
* Improve docs on server User::getRegistration method by documenting possibility that data is null.

Change-Id: Id7ae0faa930433876939b73d47fc294975e14fb1
includes/OutputPage.php
includes/User.php
resources/mediawiki/mediawiki.user.js