author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | |
Thu, 17 Apr 2014 17:02:43 +0000 (17:02 +0000) | ||
committer | Gerrit Code Review <gerrit@wikimedia.org> | |
Thu, 17 Apr 2014 17:02:43 +0000 (17:02 +0000) | ||
commit | d16f223edf4dcb24b77160ce0be86ef9f9c940fd | |
tree | a4651d38477ef5c1e3cd71768484228eb0285aa0 | tree | snapshot |
parent | 91372c2225304291b7f77c20dedc2ffab000f508 | commit | diff |
parent | 74756a24091d3b875a2fbf8759d8688609727586 | commit | diff |
RELEASE-NOTES-1.23 | diff1 | | diff2 | | blob | history |
includes/Preferences.php | diff1 | | diff2 | | blob | history |
includes/User.php | diff1 | | diff2 | | blob | history |