mediawiki.user: Use then() instead of done()
authorTimo Tijhof <krinklemail@gmail.com>
Fri, 29 Mar 2019 18:36:48 +0000 (18:36 +0000)
committerTimo Tijhof <krinklemail@gmail.com>
Fri, 29 Mar 2019 20:12:37 +0000 (20:12 +0000)
commit2a4f6865a1adb90403198ff4a7d62612c3e91ce0
tree2e8d45735d1747800e9e27fd2e6a4b544931b800
parent8ffdf646b29d43064be9c14e9b42300d11412047
mediawiki.user: Use then() instead of done()

Makes it compatible with standard ES6 Promise, and also
allows the browser to respond sooner to user input (if there was
any) rather than (synchronously) continuing within this same async
block.

Change-Id: I82aac439cecd7680f53a82649196c9168eda6755
resources/src/mediawiki.user.js