Merge "Add getId to mw.user, returning wgUserId (or 0 for anons)."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 3 Aug 2013 02:02:58 +0000 (02:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 3 Aug 2013 02:02:58 +0000 (02:02 +0000)
commit1694dcc0dac2a571f19927bfb14fd32b9cef8f53
tree22de3bc078db30345e9d7ab81ab74ad0fc3fcea4
parent4034bb4c6b7f19a34ae1b9bc65bfcb9615ed08da
parent164bcc780e3d52543f7817926bf133656bc1df56
Merge "Add getId to mw.user, returning wgUserId (or 0 for anons)."