MediaWiki:Common.js: различия между версиями

← Предыдущая правка Следующая правка →

@@ Строка 58: / Строка 58: @@
      var isUserLoggedIn = mw.config.get('wgUserName') !== null;
-    if (!isUserLoggedIn) {
-        console.log("Пользователь не авторизован, скрываем дерево категорий.");
-        $("#p-categorytree-portlet").hide();
-        document.getElementById('p-categorytree-portlet').style.display = 'none';
-        return;
-    }
      function saveTreeHTML() {