MediaWiki:Common.js: Difference between revisions

Revision as of 08:06, 10 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);');
});

// content warning message
$(function() {
  if (localStorage.getItem("firstTime") == null) {
    document.getElementById("siteNotice").style.display = "block";
    localStorage.setItem("firstTime", "done");
  }
});