Steps to replicate the issue (include links if applicable):
- Be an autopatroller at mediawiki.org
- Translate a page
What happens?: The translated page is changed but the edit is unpatrolled.
What should have happened instead?: The edit to the translated page should be marked as patrolled.
Just to give an example: I had to mark many edits by https://www.mediawiki.org/wiki/User:Wladek92 as patrolled, see https://www.mediawiki.org/wiki/Special:Log?type=patrol&user=Ameisenigel&page=&wpdate=2023-12-30&tagfilter=&wpFormIdentifier=logeventslist