Managed plugins not loaded?

[sakinobashi]

Hello,

I'm trying to use PHP Monitor to manage extensions, but I haven't managed to get them to work.

I'm specifically trying to install Redis. The active global PHP version is 8.3, and if I go to Manage PHP Extensions… it shows Redis as installed under 8.3. On the Domains window, if I right click the domain I'm using for tests Redis shows up on the list and is checked. However, I'm getting an Error: Class "Redis" not found error when I try to run code through the website (web tinker). The same code works under CLI tinker.

Installing Redis manually makes it work on both, but if I do it after using PHP Monitor to manage extensions the configuration gets messed up and I start getting all kinds of warnings on the CLI. And, more than anything, I want to know the right way to make things work. I assume that the extension's not being loaded on PHP FPM, but shouldn't right-clicking on the domain reflect that?

It's very likely that I'm just missing something obvious, but any help would be much appreciated.
Thanks in advance!

[nicoverbruggen]

I'll need to check, but it's possible that you need to restart PHP-FPM for these changes to be applied. You should be able to do this via the menu bar item.

(I'll take a look tomorrow to see if I have the same issue or can reproduce it!)

[sakinobashi]

As expected, I was just missing something obvious… Thank you for your help!

By the way, is there a reason for the service not to be restarted on extension changes? That, or some kind of "don't forget to restart php-fpm after making changes" warning on the PHP Extension management window could help people like me, I'd say. Other than that self-inflicted injury, extension management worked even better than I expected!

[nicoverbruggen]

Honestly, this is an oversight on my part.

Most extensions don't require a restart of PHP-FPM, so I'd need to take a look and see which ones do and have it restart automatically.

(Or indeed, provide an alert!)