My apologies @lezgubeaux for the trouble. Earlier, I didn’t test with PHP 8.2. Just now, I tested with PHP 8.2 (and PHP 8.3) by installing/activating the previous version (1.5.1) and then updating it (to version 3.0.2). The update went through successfully. I really couldn’t understand what’s going on. If you have any ideas, please let me know.
Some naming schemes were changed to match with the upstream Mobile Detect library. Currently, those old names were brought back in the plugin version 3.1.0. Hopefully, this update resolves the issue. Thanks.