Manual:MarkpatrolledAction.php/de-formal

Details
MarkpatrolledAction.php file handles with marking pages as patrolled.