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


marcosptf/php-gtk-src,php/php-gtk-src,php/php-gtk-src,php/php-gtk-src,php/php-gtk-src,php/php-gtk-src,marcosptf/php-gtk-src,php/php-gtk-src,marcosptf/php-gtk-src,marcosptf/php-gtk-src,marcosptf/php-gtk-src,marcosptf/php-gtk-src