मीडियाविकि:Gadget-edittop.js

भारत डिस्कवरी प्रस्तुति
अश्वनी भाटिया (वार्ता | योगदान) द्वारा परिवर्तित 09:13, 31 अक्टूबर 2010 का अवतरण ('// ********************************************************************** // ** ***WARNING! GLOBAL GADGET FILE*** ...' के साथ नया पन्ना बनाया)
(अंतर) ← पुराना अवतरण | वर्तमान अवतरण (अंतर) | नया अवतरण → (अंतर)
यहाँ जाएँ:नेविगेशन, खोजें

ध्यान दें: प्रकाशित करने के बाद बदलाव देखने के लिए आपको अपने ब्राउज़र के कैश को हटाना पड़ सकता है।

  • Firefox/Safari: Reload क्लिक समय Shift दबाएँ, या फिर Ctrl-F5 या Ctrl-R दबाएँ (Mac पर ⌘-R)
  • Google Chrome: Ctrl-Shift-R दबाएँ (Mac पर ⌘-Shift-R)
  • Internet Explorer/Edge: Refresh पर क्लिक करते समय Ctrl दबाएँ, या Ctrl-F5 दबाएँ
  • Opera: Ctrl-F5 दबाएँ।
// **********************************************************************
// **                 ***WARNING! GLOBAL GADGET FILE***                **
// **********************************************************************
if( ( wgAction == 'view' || wgAction == 'purge' ) && wgNamespaceNumber >=0 )
addOnloadHook(function edittop_hook(){
	var localtitles = {
		en: 'Edit lead section',
		fr: 'Modifier le résumé introductif',
		it: 'Modifica della sezione iniziale',
		ja: '導入部を編集'
	};
	var h2s = document.getElementsByTagName('H2');
	var h2 = h2s[0];
	if( !h2 )
		return;
	if( h2.parentNode.id == 'toctitle')
		h2 = h2s[1];
	if( !h2 )
		return;
	var span = h2.firstChild;
	if( !span || span.className != 'editsection' )
		return;
	var zero = span.cloneNode( true );
	if( document.getElementById( 'featured-star' ) )
		zero.style.marginRight = '25px';
	if( document.getElementById( 'spoken-icon' ) )
		zero.style.marginRight = '45px';
	if( document.getElementById( 'protected-icon' ) && zero.style.marginRight )
		zero.style.marginRight = '70px';
	var parent = document.getElementsByTagName('H1')[0];
	parent.insertBefore(zero, parent.firstChild);
	var a = zero.getElementsByTagName('A')[0];
	if( localtitles[wgUserLanguage] ) {
		a.title = localtitles[wgUserLanguage];
	} else {
		// TODO check for content of header, to get a more precise replacement
		a.title = a.title.replace(/:.*$/, ': 0');
	}
	a.setAttribute( 'href', a.href.replace( /&section=1/, '&section=0' ) );
});