मीडियाविकि:Gadget-edittop.js
भारत डिस्कवरी प्रस्तुति
ध्यान दें: प्रकाशित करने के बाद बदलाव देखने के लिए आपको अपने ब्राउज़र के कैश को हटाना पड़ सकता है।
- 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*** ** // ** changes to this file affect many users. ** // ** please discuss on the talk page before editing ** // ** ** // ********************************************************************** // Imported from [[User:Alex Smotrov/edittop.js]], version as of: 2007-06-19T04:28:52 // Updated from [[User:TheDJ/Gadget-edittop.js]], version as of: 2009-04-28T11:54:22 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 our_content = document.getElementById('content') || document.getElementById('mw_content') || document.body; var editspans = getElementsByClassName( our_content, "span", "editsection"); var span1; for( es_count = 0; editspans && es_count < editspans.length; es_count++ ) { span1 = editspans[es_count]; if( span1.className.indexOf( "plainlinks" ) == -1 ) break; } if (!span1) return; var span0 = span1.cloneNode(true); var editwidth = span1.offsetWidth; if( skin != "vector" ) editwidth += 10; var topicons = getElementsByClassName( our_content, 'div', "topicon" ); for( el=0; topicons && el < topicons.length; el++ ) { topicons[el].style.marginRight = editwidth+"px"; } our_content = document.getElementById('mw_header') || document.getElementById('content') || document.body; var parent = our_content.getElementsByTagName('H1')[0]; parent.insertBefore(span0, parent.firstChild); var a = span0.getElementsByTagName('A')[0]; if (a.href.indexOf('§ion=T') == -1){ a.title = a.title.replace(/(: |:).*$/,'$1'+'0') a.setAttribute('href', a.href.replace(/§ion=\d+/,'§ion=0')); }else{//transcluded a.title = localtitles['en'] a.setAttribute('href', wgScript+'?title='+encodeURIComponent(wgPageName)+'&action=edit§ion=0') } if (localtitles[wgUserLanguage]) a.title = localtitles[wgUserLanguage] })