mediawiki.page.ready: Simplify logout code
authorFomafix <fomafix@googlemail.com>
Sun, 4 Aug 2019 13:10:11 +0000 (15:10 +0200)
committerKrinkle <krinklemail@gmail.com>
Mon, 5 Aug 2019 22:22:28 +0000 (22:22 +0000)
commitd41fe82a23a2e48afd8be099b45a7dde8696e6d0
tree983c7fc3b3819b2c33e1f831a95ca47963946f81
parent69f78bb554ed8d950b3c79690d5a2a07e5c6d6c4
mediawiki.page.ready: Simplify logout code

* Use location.href instead of window.location.
  (Better static analysis, and theoretically quicker lookup)
* Initialize variable on declaration.
* Use .then() instead of .done().fail().

Change-Id: If007ae9bad37461cf1a1b51bd4d21281d7778254
resources/src/mediawiki.page.ready.js