mirror of
https://github.com/php/php-src.git
synced 2026-04-23 07:58:20 +02:00
0f4b4c82de
trailing semicolon.
Also add a do {} while (0) construct in php_session.h