Difference between revisions of "MediaWiki:Common.js"

Latest revision as of 12:59, 20 January 2023

/* Any JavaScript here will be loaded for all users on every page load. */

if (document.getElementById('pt-logout')) {
    document.getElementById('ca-history').style = 'display: block;';
}