User-JS Erweiterung

[MudGuard]

Hi,

  

> function init() {  
>   var title = document.getElementsByTagName("title")[0];  
>   if(title) {  

Hm. An dieser Stelle noch zu überprüfen, ob title existiert, ist m.E. sinnlos.
Wenn kein title-Element existiert, liefert doch wohl bereits document.getElementsByTagName("title") null zurück und der Zugriff mit [0] geht schon schief.

Müßte also eher

  
var titles = document.getElementsByTagName("title");  
if (titles && titles[0])  
{  
   var title = titles[0];  

heißen. Oder liege ich da falsch?

  

>   title.firstChild.nodeValue = title.firstChild.nodeValue.replace(/^SELFHTML Forum: \((.+)\)(.+)/,"$2 ($1) - SELFHTML Forum");  
>   }  
>   
> }

cu,
Andreas