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;
	}
} );