Fix generation error that resulted in a wrong header file being created.
Fix generation error that resulted in a wrong header file being created.


ewiger/php-gtk,ewiger/php-gtk,ewiger/php-gtk,ewiger/php-gtk,ewiger/php-gtk,ewiger/php-gtk