Delete RedisOptions.php