MediaWiki:Common.js: Difference between revisions

Revision as of 16:56, 12 March 2025

/* Any JavaScript here will be loaded for all users on every page load. */
document.addEventListener("DOMContentLoaded", function() {
    if (!document.querySelector("#p-search")) {
        var searchBox = document.createElement("div");
        searchBox.id = "p-search";
        searchBox.innerHTML = '<form action="/index.php" method="get"><input type="hidden" name="title" value="Special:Search"><input type="search" name="search" placeholder="Search..." required></form>';
        document.querySelector("#mw-panel").prepend(searchBox);
    }
});