Difference between revisions of "MediaWiki:Common.js"

Revision as of 16:09, 24 April 2023

/* Any JavaScript here will be loaded for all users on every page load. */

setTimeout( 'console.log("MediaWiki");', 3000);

$(window).on( 'load', function() {
    var opt = new Option("all", "1500");
    $(opt).html("all");
    var t = $('label select[name="DataTables_Table_0_length"]').append(opt);
    console.log(t);
} );