מדיה ויקי:Common.js: הבדלים בין גרסאות בדף

→ העריכה הקודמת העריכה הבאה ←

@@ שורה 45: / שורה 45: @@
 function fixNotice() {
   if (wgUserName == null) {
-   siteNotice = document.getElementById('siteNotice');
+   var siteNotice = document.getElementById('siteNotice');
    if (siteNotice) {
     siteNotice.style.display = 'none';