Am 13.06.2017 um 15:00 schrieb Zeev Suraski: > Yep, Mac sounds like a fairly future-proof choice, and is also consistent > with the capitalization of other options.
Implemented in http://git.php.net/?p=php-src.git;a=commitdiff;h=362d2e42a02fe018a7d1261a53ff59b73fed91f6 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
