User:Fred Gandt/correctFirstHeadingOfSpecialPages.js
Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
$( document ).ready( () => {
"use strict";
const SPECIAL_PAGE_NAME = mw.config.get( "wgCanonicalSpecialPageName" ),
FIRST_HEADING = document.getElementById( "firstHeading" ),
PAGE_NAME = mw.config.get( "wgPageName" );
if ( SPECIAL_PAGE_NAME && FIRST_HEADING && PAGE_NAME ) {
FIRST_HEADING.textContent = PAGE_NAME;
}
} );