Thread:Extension talk:UserAdmin/Deletion/reply

Mediawiki already has a concept of "deletion" that allows undoing the deletion. I use the term "purge" to mean deletion that cannot be undone. Purged user's content is also purged. This includes revisions, uploads, pages, etc.