Manual:HTMLCacheUpdate.php/de-formal

Details
HTMLCacheUpdate.php file invalidates the HTML cache of all the pages linking to a given title.