Steps to replicate the issue (include links if applicable):

• Run DeleteArchivedFiles.php as explained on https://www.mediawiki.org/wiki/Manual:DeleteArchivedFiles.php

What happens?:

• Possibly some files deleted, but lots of files remain in both /images/deleted and /images/archived

What should have happened instead?:

• The files, at least those in /archived, should have been deleted

Software version (skip for WMF-hosted wikis like Wikipedia):

MW 1.39

Other information (browser name/version, screenshots, etc.):

I no longer have access to the machine where this happened, but see
https://www.mediawiki.org/w/index.php?title=Topic:X9g1qdhq26xfj94v&topic_showPostId=xifjxz4pcnuloqiv&fromnotif=1#flow-post-xifjxz4pcnuloqiv