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

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

@@ Строка 32: / Строка 32: @@
          }
      });
-}
-/* Обеспечиваем фокус с {{sysdep}} */
-function sysdep_init() {
-    var lo = document.getElementById("linux_only");
-    var wo = document.getElementById("winds_only");
-    if (navigator.userAgent.match("Linux") || navigator.userAgent.match("X11")) {
-        if (lo) lo.style.display = "block";
-        if (wo) wo.style.display = "none";
-    } else {
-        if (lo) lo.style.display = "none";
-        if (wo) wo.style.display = "block";
-    }
 }