I unpacked this extension and run update.php in the folder "maintenance". But when I tried to delete a page I received exception "Wikimedia\Rdbms\DBUnexpectedError". Is it possible to fix this problem?
Topic on Extension talk:DeletePagesForGood
I have the same problem on some pages but not all. Mine is also MW 1.31.
[23a349443279e368cc3e0372] 2018-11-30 15:32:10: Fatal exception of type "Wikimedia\Rdbms\DBUnexpectedError"
I did patch manually with https://gerrit.wikimedia.org/r/#/c/268902/
but it still fails on some pages.