[Mediawiki-l] User deletion

[zelulax]

Hi,

how can I delete a registered user? I tried using Special:Listusers but I
can't see any option available. Do I have to delete the user over MySQL? I
have only access to PhpMyAdmin. How do I do that?

Thanks in advance!

Zelula