MediaWiki:Common.js: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
/* Any JavaScript here will be loaded for all users on every page load. */ | /* Any JavaScript here will be loaded for all users on every page load. */ | ||
document. | opt = document.createElement('option'); | ||
opt.value = 1500; | |||
opt.innerHTML = 'all'; | |||
document.getElementsByName('DataTables_Table_0_length').appendChild(opt); | |||
Revision as of 14:52, 24 April 2023
/* Any JavaScript here will be loaded for all users on every page load. */
opt = document.createElement('option');
opt.value = 1500;
opt.innerHTML = 'all';
document.getElementsByName('DataTables_Table_0_length').appendChild(opt);
