מדיה ויקי:Gadget-rcPatrol.js: הבדלים בין גרסאות בדף
Fix document.write call |
מבטל rcPatrol() זמנית - נשבר אחרי שדרוג |
||
| שורה 22: | שורה 22: | ||
function rcPatrol() | function rcPatrol() | ||
{ | { | ||
/* ************************************** */ | |||
return; // canceling function while checking mediawiki upgrade: | |||
// (bug 24418) action=markpatrolled now requires a token | |||
/* ************************************** */ | |||
/* for debuging | /* for debuging | ||
var tables = getElementsByClassName(document, 'table', 'mw-enhanced-rc'); | var tables = getElementsByClassName(document, 'table', 'mw-enhanced-rc'); | ||