Aran Dunkley wrote:
I have a lot of deleted pages in my wiki and was wondering how to free
up the database by getting rid of them completely. I don't want to loose
the history of the pages that aren't deleted though, is there an
extension for this?
There's a script for that. Run maintenance/deleteArchivedRevisions.php
(use --delete parameter to really perform the action, without it to inform)