Remove old PHP API documentation build system

See bc7ce76