Merge "mediawiki.user: Use then() instead of done()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 30 Mar 2019 01:35:34 +0000 (01:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 30 Mar 2019 01:35:34 +0000 (01:35 +0000)
commit431aa3ea9aac0f924bd88df1a655f87d591d0e53
tree3821bbb7ed34ac8424178de87a4ff6fe1e3e62fb
parent1dfd59a4e3d4f9c20bbe584bd1ad7a622c22f823
parent2a4f6865a1adb90403198ff4a7d62612c3e91ce0
Merge "mediawiki.user: Use then() instead of done()"