Manual:HtmlCacheUpdater.php