3,554
edits
Want an adless experience? Log in or Create an account.
MediaWiki:Gadget-UserDetails.js (view source)
Revision as of 23:16, October 2, 2012
, October 2, 2012no edit summary
(Created page) |
mNo edit summary |
||
| Line 77: | Line 77: | ||
} | } | ||
span.setAttribute('class','detected- | span.setAttribute('class','detected-userdetails'); | ||
span.appendChild(document.createTextNode(text)); | span.appendChild(document.createTextNode(text)); | ||
someHeading.appendChild(span); | someHeading.appendChild(span); | ||
someHeading.setAttribute('title',title); | someHeading.setAttribute('title',title); | ||
someHeading.className += ' detected- | someHeading.className += ' detected-userdetails-heading'; | ||
} | } | ||