tree 2afd31b60dee431a5df82451e40f1cb1d8974e64
parent e59d34481d6e00abbd744874bffcc7d886f165d6
author Olly Betts <olly@survex.com> 1620168490 +1200
committer Olly Betts <olly@survex.com> 1620169087 +1200

Clean up includes of PHP API headers

Eliminate redundant and unused includes.

Only include the minimum headers needed before the PHP_MAJOR_VERSION
check in case future PHP versions remove some of the headers we
include.