Gespeicherter Benutzername verschwindet bei WordPress-Login

Nachdem ich gerade das Update auf die neueste WordPress-Version gemacht habe, trat wieder das Problem auf, dass der gespeicherter Benutzername beim WordPress-Login verwindet. Beim wieder Einfügen der Modifikation gegen das Problem ist mir eine bessere Variante eingefallen: Statt das Script vollständig zu entfernen muss man nur die Verzögerung entfernen und schon fügt der Firefox-Passwortmanager wieder den Benutzernamen in das Eingabefeld ein. So sieht die Java-Script-Funktion in der Datei wp-login.php im WordPress-Verzeichnis nach der Modifikation aus:
function wp_attempt_focus(){
 try{
<?php if ( $user_login || $interim_login ) { ?>
   d = document.getElementById('user_pass');
<?php } else { ?>
   d = document.getElementById('user_login');
<?php } ?>
  d.value = '';
  d.focus();
 } catch(e){}
}