MediaWiki:Common.js: differenze tra le versioni

/**
	 * Utilizzata con [[template:Titolo errato]] per cambiare il titolo di una pagina,
	 * cerca un HTML (creato dal template) contenente:
	 * <div id="RealTitleBanner"><span id="RealTitle">titolo</span></div>
	 * Si può disattivare con un elemento con id="DisableRealTitle".
	 * Importata inizialmente da [[en:MediaWiki:Common.js]].
	 */
	function checkRealTitleBanner() {
		var $realTitleBanner = $( '#RealTitleBanner' ), $realTitle, $firstH1;
		if ( $realTitleBanner.length && !$( '#DisableRealTitle' ).length ) {
			$realTitle = $realTitleBanner.find( '#RealTitle' );
			$firstH1 = $( 'h1:first' );
			if ( $realTitle.length && $firstH1.length ) {
				$realTitleBanner.hide();
				$firstH1.html( $realTitle.html() );
				document.title = $realTitle.text() + ' - Wikipedia';
			}
		}
	}
 
	$( checkRealTitleBanner );