ports - Revision 2373: /php/vendor/current/scripts/dev/generate-phpt