diff options
author | Fomafix <fomafix@googlemail.com> | 2019-08-04 15:10:11 +0200 |
---|---|---|
committer | Krinkle <krinklemail@gmail.com> | 2019-08-05 22:22:28 +0000 |
commit | d41fe82a23a2e48afd8be099b45a7dde8696e6d0 (patch) | |
tree | 983c7fc3b3819b2c33e1f831a95ca47963946f81 /includes/deferred | |
parent | 69f78bb554ed8d950b3c79690d5a2a07e5c6d6c4 (diff) | |
download | mediawikicore-d41fe82a23a2e48afd8be099b45a7dde8696e6d0.tar.gz mediawikicore-d41fe82a23a2e48afd8be099b45a7dde8696e6d0.zip |
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
Diffstat (limited to 'includes/deferred')
0 files changed, 0 insertions, 0 deletions