Merge pull request #4175 from dokuwiki/bot/deletedFiles