nicoverbruggen, 
In the upcoming version of PHP Monitor, I've made toggling extensions even easier.
Need to quickly toggle an extension for a different version of PHP? It's easier than ever... you will be able to do it via the Domains window.
(*Applies per PHP version)
