MediaWiki:Common.js: Difference between revisions

MediaWiki:Common.js (view source)

64 bytes removed , 6 November 2023

no edit summary

5,737

edits

@@ Line 837: / Line 837: @@
 function isUserLoggedIn() {
- mw.loader.using('mediawiki.util').then(function () {
+  if (mw.config.get('wgUserName') === null) {
-   if (mw.config.get('wgUserName') === null) {
+    return false;
-     return false;
+  } else {
-   } else {
+    return true;
-     return true;
+  }
-   }
- });
 }