Manual:DeleteAutoPatrolLogs.php

Details
deleteAutoPatrolLogs.php is a that removes  logs from the  table.

Autopatrol logs were permanently disabled in MediaWiki 1.31 because it was considered unnecessary and generated a lot of entries in the already large logging table. See for discussion.