MediaWiki:Common.js: Difference between revisions

Revision as of 14:16, 2 November 2023

$(document).ready(function(){
  $("#bodySearchInputsearchInput").on("keyup", function() {
    var value = $(this).val().toLowerCase();
    $("#table tr").filter(function() {
      $(this).toggle($(this).text().toLowerCase().indexOf(value) > -1)
    });
  });
});

$(document).ready(function(){
   // Remove the action from the Inputbox search form
   $("#bodySearchsearchInput").removeAttr("action");
});