Manual:HtmlFileCacheUpdate.php