Editing: RefreshesPermissionCache.php