mirror of
https://github.com/php/php-src.git
synced 2026-03-27 17:52:16 +01:00
This check was added in0db373883fand greps for a private implementation detail of the postgres headers, removed in3c4768d0d1It hasn't worked as intended for 12 years, and can safely be assumed to not be needed.