skins/common/changepassword.js

   1
   2 window.onNameChange = function() {
   3         if ( wgUserName != document.getElementById('wpName').value ) {
   4                 document.getElementById('wpPassword').disabled = true;
   5                 document.getElementById('wpComment').disabled = false;
   6         } else {
   7                 document.getElementById('wpPassword').disabled = false;
   8                 document.getElementById('wpComment').disabled = true;
   9         }
  10 }
  11
  12 window.onNameChangeHook = function() {
  13         document.getElementById( 'wpName' ).onblur = onNameChange;
  14 }
  15
  16 addOnloadHook( onNameChangeHook );