Merge "mediawiki.user: Simplify callback"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 19 Jul 2014 13:37:17 +0000 (13:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 19 Jul 2014 13:37:17 +0000 (13:37 +0000)
commit027731f57f6c8dc45c1cef9cd5d2a8d8b7981746
tree4390fa15c8962873c863a5c1245f971e38238549
parentd2aa30c032f92f601262d8cdb611c481e87d6ad9
parent6ba7db52875a909f6f9c70600015e677a990128e
Merge "mediawiki.user: Simplify callback"