MediaWiki:Common.js: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 4: Line 4:
opt.value = 1500;
opt.value = 1500;
opt.innerHTML = 'all';
opt.innerHTML = 'all';
document.getElementsByName('DataTables_Table_0_length').appendChild(opt);
document.getElementByName('DataTables_Table_0_length').appendChild(opt);