Manual:EditResultCache.php