Hi, this is more related to mediawiki rather than wikimedia, but this
list is being watched a bit more I guess.
Is there any extension that allows permanent removal of deleted pages
(or eventually selected deleted pages) from database and removal of
blocked users from database?
Imagine you have a mediawiki wiki that has 20 gb database, where
19.99gb of database is spam and indefinitely blocked users. I think
lot of wikis has this problem, making extension to deal with this
would be useful for many small wikis.
What is exact procedure of properly removing page from database so
that it doesn't break anything? What needs to be deleted and in which
order?