mirror of
https://github.com/php/php-src.git
synced 2026-04-15 03:51:07 +02:00
There is no need to require a (valid) save_handler to be set, when a user handler is supposed to be set. We just have to make sure, that no user handler is already set in this case. Closes GH-6788.