MediaWiki:Common.js: Difference between revisions

MediaWiki:Common.js (view source)

64 bytes removed , 6 November 2023

no edit summary

5,798

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;
+  }
-	  }
-	});
 }