MediaWiki:Common.js: Difference between revisions
MikeSaunders (talk | contribs) No edit summary |
MikeSaunders (talk | contribs) No edit summary |
||
Line 14: | Line 14: | ||
if(localStorage.getItem("firstTime")==null){ | //if(localStorage.getItem("firstTime")==null){ | ||
// alert("First Time Alert"); | |||
// localStorage.setItem("firstTime","done"); | |||
} | //} |
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"); //}