MediaWiki:Common.js: Difference between revisions

Revision as of 16:12, 9 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").attr('action', 'javascript:void(0);');
});


//if(localStorage.getItem("firstTime")==null){
//   alert("First Time Alert");
//   localStorage.setItem("firstTime","done");
//}