[REQUEST] Option for Custom Redis Port in Plugin Settings

Hello,

I would like to propose an enhancement for the plugin that would significantly improve its usability for website owners using Redis. Currently, the plugin connects to Redis using the default port, 6379. However, there may be instances where Redis is running on a different port, depending on the hosting environment.

Without an option to specify a custom port in the plugin settings, users are forced to edit the plugin’s code directly. This creates challenges when it comes to future updates of the plugin, as any changes made will be overwritten.

Introducing an option to set a custom Redis port in the settings would be a valuable addition. It would provide flexibility for users and streamline the configuration process, ensuring that website owners can easily connect to their Redis server without modifying the core files.

I believe this change would enhance the overall experience for those utilizing Redis and make the plugin more versatile. Thank you for considering this suggestion!

Best regards,
Christopher