User:Cirt/Gadget-edittop.js

Hello, you have come here looking for the meaning of the word User:Cirt/Gadget-edittop.js. In DICTIOUS you will not only get to know all the dictionary meanings for the word User:Cirt/Gadget-edittop.js, but we will also tell you about its etymology, its characteristics and you will know how to say User:Cirt/Gadget-edittop.js in singular and plural. Everything you need to know about the word User:Cirt/Gadget-edittop.js you have here. The definition of the word User:Cirt/Gadget-edittop.js will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofUser:Cirt/Gadget-edittop.js, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
// **********************************************************************
// **                 ***WARNING GLOBAL GADGET FILE***                 **
// **             changes to this file affect many users.              **
// **           please discuss on the talk page before editing         **
// **                                                                  **
// **********************************************************************
// Imported from ], version as of: 2007-06-19T04:28:52 
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;
 if (!h2) return;
 if (h2.parentNode.id == 'toctitle') h2 = h2s;
 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');
 parent.insertBefore(zero, parent.firstChild);
 var a = zero.getElementsByTagName('A');
 if(localtitles) a.title = localtitles;
 // TODO check for content of header, to get a more precise replacement
 else a.title = a.title.replace(/:.*$/,': 0');
 a.setAttribute('href', a.href.replace(/&section=1/,'&section=0'));
})