----- Original Message -----
From: "Platonides" Platonides@gmail.com
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?
maintenance/deleteArchivedRevisions.php permanently removes the content of deleted pages from the db.
For removing those users, see http://www.mediawiki.org/wiki/Extension:User_Merge_and_Delete
Also remember that due to the way mysql works, it may not release those 20GB back to the filesystem.
In particular, to get anything for your trouble, you will probably need to dump the database, drop it, shut down MySQL and switch it to innodb tablespace-per-file, turn it back on, and then reload the dump, as I recently had to.
This way, at least, once you clean it up, you can do the same dump and reload procedure on only one table, not the whole shootin' match.
Cheers, -- jra