Merge "mediawiki.user: Simplify extension of mw.user"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Mar 2015 10:07:26 +0000 (10:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Mar 2015 10:07:26 +0000 (10:07 +0000)
commit26a86825575e7c85797f64a3c02e3e8cb21fe855
tree84223ee757dcb92c4d06c2fb6f533056ef803d0d
parent3800b2fff0d26ef9f20cd727a6086cc9a0befbf6
parentbbcd4b128cb7350ee65190e601b8d636e109f43b
Merge "mediawiki.user: Simplify extension of mw.user"