That said, if your LED driver has a control input, you may be able to use that. The driver itself with input switching probably can't manage more than a few Hz, tops, for toggling, but likely manages less, but if it's PWM capable, it can definitely switch the LEDs fast enough, you've just gotta see if it will accept a very slow control input. There's a chance it could be moddable into the existing circuit as well, but it's probably more effort than its worth since they're likely pretty tightly integrated, undocumented, and involve mains voltages.