title: Delete a user from mediawiki in the SQL db
body: <p>Since I implemented active directory into my mediawiki, I have a certain problem that I got a user now which is actually not there. I means once I click or hover over the user it tells me:</p>
  
  <blockquote>
    <p>User is not registred</p>
  </blockquote>
  
  <p>I tried to merge it with the userMerge extension, but the user doesn't exist obviously, but he is in the userlist. Makes no sense to me at all.</p>
  
  <p>So I know you shouldn't delete a user from an SQL table; I need to  because our internal wiki should not have any local users any more. Also here I can't really find any good explanations of where I can find the user tables in the phpmyadmin panel. I would appreciate the help.</p>
  
  <p>Mediawiki got installed with XAMPP.</p>