ports - Revision 2373: /php/trunk/scripts/dev/generate-phpt