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

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

@@ שורה 775: / שורה 775: @@
               + 'http://he.wikipedia.org/w/index.php?title=Mediawiki:Wikimediaplayer.js'
               + '&action=raw&ctype=text/javascript&dontcountme=s"></script>');
-/* מסתיר את יומן המחיקות כאשר אין פריטים ביומן */
-function hideDeletionLog() {
-  var log = document.getElementById('mw-article-create-deletionlog');
-  if (log && log.innerHTML.indexOf('אין פריטים תואמים ביומן') != -1)
-    log.style.display = 'none';
-}
 /*
@@ שורה 815: / שורה 808: @@
 addOnloadHook(addCharSubsetMenu);
 addLoadEvent(nikud);
-addOnloadHook(hideDeletionLog);
 addOnloadHook(fixOl);
 //</source>